563コメント211KB

ゲーデル不完全性定理

■ このスレッドは過去ログ倉庫に格納されています

0423１３２人目の素数さん

2006/04/13(木) 22:23:57

>ペアノ算術がが、自然数を「キッチリ定義している」なんて絶対言わない

んー。じゃどうやって定義すんの？

■ このスレッドは過去ログ倉庫に格納されています