The observations made above about the Mostowski function and their relation to transitive sets as well as their relation to order embeddings could be valid only for the shown examples, but not in general. Therefore, we want to summarize these observations in a theorem and prove that indeed the observations hold also in every case. This theorem was first proven by Mostowski (1913 – 1975).
Theorem: Mostowski's Theorem
| | | | | created: 2019-03-03 11:46:44 | modified: 2019-03-07 15:01:13 | by: bookofproofs | references: 
1.Proof: (related to "Mostowski's Theorem")
2.Corollary: Strictly, Well-ordered Sets and Transitive Sets
This work is a derivative of:
Bibliography (further reading)
 Hoffmann, D.: “Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise”, Hoffmann, D., 2018