Proof

(related to Corollary: Properties of Transitive Sets)

Ad 1.1

Ad 1.2

Ad 2.1

Ad 2.2


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