>>739
ゲーデルの不完全性定理って有名だけどよく知らないんだよね。
哲学的な理解を伴うものなのかな?