数学基礎論
新井敏康『数学基礎論 Mathematical Logic』(増補版):「基礎的な概念に十分に満足のいく数学的定義を与え, 現在も発展している数学の一分野である」。