Let denote the Axiom of Constructability. We already know that and is the Constructible Model of Set Theory. Now we prove that there is a Model of in which . Let be a Transitive Model of . Let be a Finite Function Forcing. Let be a -Generic Filter over . By Model Extension by Finite Function Forcing, we find . Also . Suppose i.e. Apply this to and conclude But the Constructible Hierarchy is Absolute, so . But is Transitive so which is a contradiction.