- 71 名前：１３２人目の素数さん [04/12/11 21:59:55]
- ５９とかです。レスしてくれたみなさんありがとうございます。
>>61
集合論はＺＦのことですか？
また、集合論をどう仮定するんでしょうか。無矛盾性を仮定するんですか？
でも、集合論を仮定すれば、どうしてモデルをもつことの証明ができるんですか？
モデルを持つことの証明の困難さの根源は集合論の性質（無矛盾性？）にあるんですか？
だとすると、それはなぜですか？モデルには集合論の言葉が使われるからですか？
あれだけのために、ＺＦのいろんな公理は不必要だろうから、違いますよね？
？マークばっかですみません。教えてください。
>>62
オメガって何ですか。順序数のオメガですか。
後半部分も理解できません。モデルと集合論はどう関係しているんですか。
モデルのどういった部分に集合論が関わるんですか。
つか、なんでこんな重要なことが本に書いてないんですか？
読んだ本がわるかったですか？分かりやすい説明がある本ないですか？
