Welcome to our community

Be a part of something great, join today!

Transfinite induction

facenian

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

Country Boy

Well-known member
MHB Math Helper
Jan 30, 2018
371
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).