Consistency of V = HOD with the wholeness axiom | Publicación