不是所有数学命题都是可以被证明或证伪

哥德尔定理对数学的哲学理解有着戏剧性的作用。从歌德尔道科恩，我们已经发现并非每一个数学命题都可以证明或反证。