We discuss extensions of the axioms of mathematics asserting that very large infinite sets exist, as well as the implications these have on the relation between the universe of all sets V and Gödel’s sub-universe of definable sets HOD.