>>76
数学者は疑い深いので、
「その公理系の中に矛盾があった場合でも、『その公理系の中では
　“矛盾がある”』ということを、その公理系の中では
証明できないかもしれない」っていう話になるんですよ。
「その公理系の中で、X と ¬X の両方が証明されちゃったら、
どっかに矛盾がある」んですけど、「X と ¬X のどっちを仮定しても、
Y は正しい」のが証明されちゃったんで Y は正しい、みたいな
実例がホントにあったりするんで。