For the Constructible Hierarchy: We abbreviate this as (though this is misleading) Proposition If is Sufficiently Strong, is Transitive such that , then Proof …