>>162
無矛盾であることの証明は別口で必要だからな。