- 75 名前：１３２人目の素数さん mailto:sage [04/12/12 00:22:34]
- >>71
> 集合論をどう仮定するんでしょうか。無矛盾性を仮定するんですか？
>> 一階の理論はモデルをもてば無矛盾。
>> 一階の自然数論はモデルをもつ。
>> 一階の自然数論は無矛盾。
これらを、集合論の命題として表現し、集合論の公理の下で証明する。
> 集合論を仮定すれば、どうしてモデルをもつことの証明ができるんですか？
無限公理があるので楽勝。
>>72
検索した文書の素性を確かめることができない人は、検索をしても時間の無駄だと思う。
|
 |
