Es Zermelo la teoría de conjuntos finitely axiomatizable?

Question

Sé que ZF no es finitely axiomatizable, pero, ¿qué acerca de Z (es decir, ZF sin Reemplazo)?

Answer 1

No. No es.

Usted puede encontrar la prueba como Teorema 8 en:

Mathias A. R. La Fuerza de Mac Lane Teoría de conjuntos, Anales de la Pura y Aplicada de la Lógica, 110 (2001) 107--234.

(El artículo también aparece en Mathias' página de inicio sin la necesidad de un paywall)