the size of L's cardinals – math.stackexchange.com
charles the uncomputable
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, ...