18/10/03 03:57:27.04 TIuxHmQm.net
>>277
> なんかで読んだ記憶があるんですが、ある程度以上大きい理論は自身の無矛盾性を証明できないとかいう定理があった記憶があるんですが、それとは矛盾しないんですか？
ゲーデルの第二不完全性定理のことですね。この定理は自然数論（例えばペアノの公理系）やそれを含む理論に対して一般に成り立ちます。
> それはZFCより真に大きい立場からの証明という事ですか？
構文的な証明ではなく、ZFCのモデルを構成して無矛盾性を示すのです。理論が無矛盾であることとその理論がモデルを持つこととは同値ですから。
> 載ってる教科書あったら教えて下さい
田中尚夫さんの『選択公理と数学』という本にゲーデルのZFC公理系の無矛盾性の証明とコーエンの選択公理のZF公理系に対する独立性の証明の解説が載っています。
但し、かなりテクニカルなのは覚悟する必要があります。