你穿过的门原来是什么样子,走过去以后也要保持那个样子。
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。