公理是公理,命题是命题。 打个比方:在物理学中,“参考系”是指我们“假定不动”的物体,因此我们不能“假定参考系不动,然后研究它是否运动”。类似地,在数学中,“公理”是我们“假定为真”(承认)的一组命题,我们可以研究它“是否一致”(即这些公理是否互相冲突),但没法“假定它们为真,然后研究它们是否为真”。 另外,“假命题能推出任何命题”并不是说“那个假命题是真的”,也不是说“那个「任何命题」是真的”,只是说“这个「推出」是有逻辑的”。我们说“p推出(蕴含)q”,是指“要么p不发生、要么q发生”,即p→q等价于neg(p) or q。如果p是假命题,那么neg(p)是真命题,neg(p) or q也是真命题,从而p→q是真命题。