TY - RPRT TI - Finitely Axiomatized Set Theory: a nonclassical first-order theory implying ZF AU - Marcoen Cabbolet PY - 2018 UR - https://arxiv.org/abs/1402.1017 ID - 1402.1017 ER -