>>769
知ってるのは算数だけだ（ｗ

しかし全て算数で書ける、とゲーデルはいっている（ｗ
（いや、本当はゲーデルはそうはおもってなかったんだが
　クリプキともう一人の人がそれを示しちゃったんで
　ゲーデルは心底驚き呆れたらしい）