EntityQ840810· pop 22· linked from 202 articlestransfinite inductionSign in to savemethod of proving that a certain property applies for all elements in a well-founded setConnectionssemantic theory of truthEntitymathematical logicEntityordinal numberEntityfirst-order logicEntityformal systemEntityclassEntityrecursive setEntitysemantics of logicEntitystructureEntityground expressionEntitydiagramEntitylogicEntityBertrand RussellEntityInternational Standard Book NumberEntityset theoryEntityfunctionEntityreal numberEntityrational numberEntityJohn von NeumannEntitysetEntityCategoriesMathematical inductionOrdinal numbersRecursion