Proof: By Induction

(related to Corollary: Circular References Of Self-Contained Sets Are Forbidden)

We conduct a proof by induction.

Base Case $n=0$

Induction step $n\rightarrow n+1$


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

Github:
bookofproofs


References

Bibliography

  1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
  2. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition