11/01/03 13:48:48
>>86
無限集合の存在を認めて初めて理論の無矛盾性を問題にできるんだから、
理論の無矛盾性を問題にしておきながら無限集合の存在は認めません、という態度は
話にならないと思ったんだが。
論理式の無矛盾な極大集合を一つ取るってことがどうして可能になるの？
論理式の集合がZFCのモデルになってると考えてるからでは？
11/01/03 13:48:48
>>86
無限集合の存在を認めて初めて理論の無矛盾性を問題にできるんだから、
理論の無矛盾性を問題にしておきながら無限集合の存在は認めません、という態度は
話にならないと思ったんだが。
論理式の無矛盾な極大集合を一つ取るってことがどうして可能になるの？
論理式の集合がZFCのモデルになってると考えてるからでは？