 Once it is established that L is a model of ZF, one can now prove that both the CH and the AC hold in L. To this end, one first shows that the definition of L is absolute for L, where absoluteness is defined as follows: given a class M, a predicate P(x) is said to be absolute for M if and only if for all x ∈ M, P(x) ↔ PM(x).