Revision #940 → #1636 · back to history
addedPrinciple of transfinite inductionb36b3b32729d
addedInduction by cases130b04905d41
addedBasis of a vector space via transfinite recursionb063ac7da8b7
addedTransfinite Recursion Theorem (version 1)3fc658c795ae
addedTransfinite Recursion Theorem (version 2)2ca131e7c468
addedTransfinite recursion on well-founded relations95a5d7ea87f9
addedVitali set construction6b5c1fa6a98b