Let be the Constructible Hierarchy. There is a sentence such that and for all Transitive Models of (i.e. ) there is some such that . Proof Take the Sufficiently Strong finite and write (where is Axiom of Constructability) If is Transitive then for some . So if then is a limit ordinal. By Axiom of Constructability since is a limit.