選択「公理」って書いてあるだろ。公理に真も偽もないだろ。

公理ってのは、これからのお話ではこれを真として話をすすめていきますって話。
言ってみればあくまでも、全理論の仮定みたいなもの。

連続体仮説で、真とした論理全体でも、偽としてた論理全体でも矛盾を生じないって言うなら、
これまた似た話で、決まってる訳ないだろ。

>>502
命題論理と述語論理だけで、論理はいいのかもしれない。俺は知らないが、、、、。
ただ、その対象はあくまでも定義していかなくてはいけないから、
全体の論理の結果は違ってくるだろう？
特に無限を入れるかどうかの一線ではげしくめんどくさい話になるのは予想ができる。