P is unsolvable if, at some point in time, a proof will be provided that P does not have solution.