新井 敏康(あらい としやす、1958年 - )は、日本の数学者・論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論。国立情報学研究所教授の新井紀子は妻。東京都生まれ。東京大学教養学部基礎科学科卒。筑波大学数学系大学院博士課程修了。理学博士。

竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学・公理的集合論、証明論など)。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。

田中 一之(たなか かずゆき、1955年8月18日 - )は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。師はパリス＝ハーリントンの定理などで有名な。