タグ: 順序数

|| 自然数から順序数まで拡張された数学的帰納法

「無限」の範囲を証明できる強力な証明手段