Finitely Axiomatized Set Theory: a nonclassical first-order theory implying ZF

Marcoen Cabbolet

It is well-known that a finite axiomatization of Zermelo-Fraenkel set theory (ZF) is not possible in the same first-order language. In this note we show that a finite axiomatizatio…