” 超限帰納法 “は、高校の数学で学習する数学的帰納法を一般化したものです。整列集合についての命題について、適用することができます。自然数全体は、整列集合になっています。数学の証明をするときに、高校で学習した帰 ...