 formula_25 sentences have the special property that if they are false, that fact will be provable in any of the usual formal systems.This is because the falsity amounts to the existence of a counter-example which can be verified by simple arithmetic.So if a formula_25 sentence is such that neither it nor its negation is provable in one of these systems, that sentence must be true.