メタ数学

数学の証明そのものを研究対象とするメタ数学は、20世紀の論理学に大きな変革をもたらした。

ゲーデルの不完全性定理は、メタ数学の視点から数学の限界を示した歴史的な業績である。

彼は数式の計算よりも、その背後にあるメタ数学的な構造に強い興味を抱いている。