# User:Julian Barathieu

My "ideal background theory" (or just "prefered theory") is $\text{ZFC + GCH + VP +}$ there is a transitive model of $\text{ZFC + }$ "there is a cardinal that is $n$-huge for all $n$".