>>749
>なんかID変わったわ
誰と？

>別にそんなこと言ってないけど？
「そんなこと」とは？

>証明できないのは公理(真と認められた命題)が不足しているのが理由な
「証明実行可能かどうか」はどうでもいい