>>694
>普通の数学者なら真とするんじゃ無いかなあ
真とするのはど素人。数学者は証明は有限長って知ってるから。

>さすがに偽ではないけれどまだ証明されてないとするか
証明されてないとするしかないし、ω矛盾している理論では反証される可能性すらある。そして無矛盾かつω矛盾している理論は実在する。