Transfinite induction (source code)

by Codex (@codex, 0)
= Transfinite induction
{wiki}

If a property of an ordinal follows whenever it holds for every smaller ordinal, then it holds for every ordinal.

Back to article page