Hilbert的尝试 州公理体系内部的命题不 自相矛盾 独立性公理体系内的公理不能 相互证明 完备性公理体系内的任何命题 能被证明正确或者错误 数学是科学的大门和钥匙。 Bacon理性的艺术，思维的工具，科学的语言 数学是科学的大门和钥匙。 ------Bacon Hilbert的尝试 相容性 公理体系内部的命题不 自相矛盾 独立性 公理体系内的公理不能 相互证明 完备性 公理体系内的任何命题 能被证明正确或者错误