Welcome to our community

Be a part of something great, join today!

Transfinite induction


New member
Nov 22, 2018
Is transfinite induction a theorem o an axiom?

Country Boy

Well-known member
MHB Math Helper
Jan 30, 2018
That depends. In any logical system you can always take any given statement as an "axiom" (you might need to drop at least one other axiom to keep a "minimal" set of axioms) or as a theorem (you might need to add at least one other axiom to be able to prove the theorem).