Talk:Kurt Gödel

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)