MHB Transfinite Induction: Theorem or Axiom?

Thread starter facenian1
Start date Dec 11, 2018
Tags

Induction Transfinite

Click For Summary

Transfinite induction can be classified as either a theorem or an axiom, depending on the logical system in use. In any system, a statement can be treated as an axiom, though this may require dropping another axiom to maintain minimality. Conversely, it can also be considered a theorem, which might necessitate the addition of another axiom for proof. The classification ultimately hinges on the foundational framework being applied. Thus, the status of transfinite induction is context-dependent.

Dec 11, 2018

facenian1

Is transfinite induction a theorem o an axiom?

Physics news on Phys.org

Dec 11, 2018

HOI

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).

Thread 'Discuss Ten Simple Rules for Effective Statistical Practice'

I came across this article, called "Ten Simple Rules for Effective Statistical Practice", and thought it was monumental in its importance for understanding statistics and using it practically, particularly in science. I hope you enjoy it!

View full post »