そもそも「数理論理学」を「数学基礎論」って言っちゃう時点で
20世紀(というか1960年代のコーエン出現以前)から
全然アップデートされてない感じ