11/01/17 21:12:48
>>164
その代替部品って簡単に作れる（存在する）ものですか？
>>165
定理Ａと定理Ｂから矛盾が導けるとき
もとの公理系から矛盾が導けるということだから
矛盾から任意の定理が導けるのは当たり前（？）で
単にもとの論理体系が矛盾するというだけか
もとの論理体系を無矛盾なものに取り替えれば
定理Ａと定理Ｂがまた矛盾するかどうかは分からないわけか
現代の数学から見て明らかに矛盾するような
理論を作ったとしても、将来に論理の枠組みを変更して
無矛盾にできる可能性がずっと残されるのかな