P is solvable if, at some point in time, a proof will be provided that solution to P can be found.