This artifice amounts to an adrnission that mathematics is an hypothetico-deductive system, in which the consequences of assumed axiom sets are explored, without asserting their necessary truth. Unfortunately, this device also leads to failure, because not all mathematical truths, such as ‘Peano arithmetic is consistent,’ can be expressed in this way as implication statements, as Machover (1983) argues.