Lemma: The Proving Principle by Transfinite Induction

The proving principle by transfinite induction is a valid logical argument in first order predicate logic1. It consists of:

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Toenniessen, Fridtjof: "Topologie", Springer, 2017

Footnotes


  1. This is because it requires the quantifier "for all: $\forall$."