New answers tagged

7 votes

Why not $\sf ZFC+[V=HOD]$?

What does it mean to be a "standard" theory? By any account, the theory ZFC + V=HOD already is one of the "standard" theories. The axiom V=HOD is intensely studied by set theorists;...
Joel David Hamkins's user avatar

Top 50 recent answers are included