ゲーデル不完全性定理
■ このスレッドは過去ログ倉庫に格納されています
0367357
2006/04/10(月) 23:34:43概念ってのは別に集合論に出てくるテクニカルタームとしての「概念」とかじゃなくて
飽くまで一般的な用語としての「概念」です
我々の知っている自然数に関する性質は高々有限個(せいぜいr.e.)だとすれば
自然数に関する命題の真偽が我々の直観からほとんど独立なものがあるということで
(少なくともZFCから独立な自然数論の命題はあるわけですが)
「自然数」という概念の指すものがきちんと定まっていないことになりますよね
いずれにしろそういうモデル論の話をしてるんじゃなくて
理性の限界がどうの、という話なのであえて完全という言葉を使ったわけですが
>>359
そんなのは数学者には自明でしょう
■ このスレッドは過去ログ倉庫に格納されています