打後喺 1930 年代，哥德唔完備定理（Gödel's incompleteness theorems）證明咗，就算一套數學系統整到幾咁完善，都實會有一啲陳述係嗰個系統證明唔到（冇方法知道嗰啲陳述係咪真確）嘅，可以話係支撐咗杜布瓦-裏蒙嘅睇法。