23/03/19 10:03:38.79 +PWDAiC2.net
>>571
不完全性定理は、
「ある真理があり、それはどんな体系でも証明できない」
ということを主張するものではない
命題が充足可能であれば、
その命題を定理として証明するような体系は
もちろん構築できる（トートロジーだが）
問題は
「有限文字で定義されたある体系で
数学のすべての真理とやらを
証明することはできない」
ということ
その意味では、人の脳で生涯の間に処理できるよりも
遥かに多数の文字で定義された体系の定理は
人には到底証明不能である
ここまでいけば人がやることは
たしかに動物の本能と大した違いはない
と断じることが説得力を持つ