20/02/24 06:56:04.38 2WGbUpan.net
>>326
「答えられない」という返答と受け取った
では答を書こう
T+￢Con(T) で ￢Con(T+￢Con(T)) が証明できる
なぜならいかなるPについても￢Con(T)⇒￢Con(T+P)だから
実に簡単なこと
しかし、これが悩ましいのは
T+￢Con(T)が無矛盾なのに￢Con(T+￢Con(T))が証明できること
実はT+￢Con(T)はω矛盾な体系
だから「矛盾に至る証明がある」といっておきながら
実際にはどの証明も矛盾を導くものでない、という
おかしな状況になるわけだ