FOM: misuse of G"odel's theorem

Kanovei kanovei at
Wed Feb 17 03:37:26 EST 1999

<Date: Mon, 15 Feb 1999 16:39:14 -0600
<From: William Tait <wtait at>

<Godel's theorem (...) leads
<us, given some formalization S of our present methods, to questions which S
<can't answer (but we can). 

S=ZFC is a quite adequate formalization of 
*our present methods* in mathematics. 
Could you please present any one question 
which ZFC can't answer *but we can*. 

Vladimir Kanovei

More information about the FOM mailing list