<概要>超限帰納法による定義と証明
 カントルが導入した超限数は,数学基礎論の主要な研究対象 かつ研究手段である.この講演では,とくに記述集合論的な 視点から超限数の研究の深化・発展を振り返り,最近のその 公理論的扱いと周辺の結果について紹介する.