formalist approach of David Hilbert
Godel only showed that the formalist approach cannot prove consistency. Formalism may still succeed at other goals. RSchlafly 03:30, 27 March 2007 (EDT)
- technically, it can be consistent or complete, but not both. Jaques 03:40, 27 March 2007 (EDT)