ZFC is relatively consistent to ZF. The same is true for ZF and ZF without the Axiom of Foundation. Are there answers to similar questions, like the relative consistency of the Axiom of Infinity to some “lower” set of axioms? Or are there even papers which proof the relative consistency of ZF to the AxiomRead more