1001コメント376KB

数学基礎論・数理論理学　その8

レス数が950を超えています。1000を超えると書き込みができなくなります。

0960１３２人目の素数さん

2011/09/30(金) 16:55:52.48

http://www.math.princeton.edu/~nelson/books/elem.pdf
ペアノ算術の矛盾を示したとかいう話らしいんだが、分かる人いる？

レス数が950を超えています。1000を超えると書き込みができなくなります。