X-Nico

Ackermann set theory

Reinhardt, William, "Ackermann's set theory equals ZF" Annals of Mathematical Logic Vol.

•

In 1970 William Reinhardt proved that if $F$ is a formula of $L\; \backslash in$ and ZF proves $F$, then A proves $F^V$.

see also