sentences:  It is common to begin with a fixed model of set theory and only consider other transitive models containing the same ordinals as the fixed model.Certain properties are absolute to all transitive models of set theory, including the following (see Jech (2003 sec.I.12) and Kunen (1980 sec.