14/03/15 10:40:19.26
>>575
Γ:={φ1, φ2, φ3, ......} が矛盾しているということは
Γ - φn から￢φnが証明できるということ。
どの公理φnが間違っていたか特定したうえで、
φnを証明に使っていない定理は生き残る。
φnを証明に使っていた定理は、
他の公理から証明できれば使い続けられる。
そうでない場合は切り捨てないといけない。
どの公理もどうしても捨てられない場合、
最後の選択肢として公理系は全部残したまま、
論理部分を改変する手もあるけど、これは最後の手段だと思う。