All the details are on MathOverflow [1], and the recommendation of Franzén's Inexhaustibility [2] is spot on. [1] http://mathoverflow.net/questions/67214/pi1-s

All the details are on MathOverflow [1], and the recommendation of Franzén's Inexhaustibility [2] is spot on. [1] http://mathoverflow.net/questions/67214/pi1-sentence-independent-of-zf-zfconzf-zfconzfconzfconzf-etc http://mathoverflow.net/questions/67214/pi1-sentence-indepen... [2] http://www.aslonline.org/books-lnl_16.html http://www.aslonline.org/books-lnl_16.html