我们说一个数学命题的真是否指其可证？
如果一个数学命题在逻辑上是不可证明的，那我们是否认为这个命题无真假？
如果上述答案是肯定的话，那我们广泛使用经典逻辑（经典逻辑包含排中律）来做数学证明是否有问题？
还是说，我们认为所有数学命题都有真假？只不过有的能被证明，有的无法被证明？