211 bytes added
, 07:30, March 27, 2007
==formalist approach of David Hilbert==
Godel only showed that the formalist approach cannot prove consistency. Formalism may still succeed at other goals. [[User:RSchlafly|RSchlafly]] 03:30, 27 March 2007 (EDT)