Gödel's Constructible Universe L is an interesting model of ZF, since it showed the consistency of GCH and AC with ZF's axioms. However, that isn't important right now. Seeing this Wikipedia page, ...