Return to Revisions

2 of 2

edited title

edited Dec 20, 2019 at 18:29

Can Ackerman set theory without class construction scheme plus a limitation of size axiom prove consistency of ZF?

Take all axioms of Ackermann's set theory, remove the class construction axiom schema.

Add the limitation of size axiom:

$\forall X \forall Y [X \in V \land Y \subseteq V \land |Y|\leq |X| \to Y \in V]$

Would the resulting theory prove $V$ to be a model of $\sf ZF$?

asked Dec 20, 2019 at 18:23