どんな立派な公理系を立てても、その中に真か偽かわからない命題が存在する
ということですけど、
真か偽かは「人間には知ることが出来ない」だけであって
真か偽かは「決まってはいる」のでしょうか?
「決まってはいるけど、人間には知ることが出来ない」ということでしょうか?
だって命題は真か偽かのどちらかしかないのでは?と思うのですが。
それとも
真か偽かは「決まってすらいない」のでしょうか?