>>177
横レスだが、同じ独立命題と言っても、
例えば交換法則が群の公理から独立というのと
連続体仮説が「通常の数学すべて」から独立というのとでは、
「通常の数学」の人からの気色の悪さはまるっきり違うと思う。