>>890
> 数学基礎論（Mathematical logic）は面白い。

上のは完全な間違い

「数学基礎論」に相当する英語は "Foundations of Mathematics"
英語の"Mathematical Logic" に相当する日本語は「数理論理学」
両者は別物