戸次大介の数理論理学で
数学基礎論（mathematical foundation）
と書いてあったことを思い出した。
さすがにその日本語と英語は意味が違うだろうと思った。