Una versione assiomatica della teoria degli insiemi di Zermelo-Fraenkel (riporta anche, alla fine, l'assioma di finitezza di Tarski)
Completion requirements
PDF
Click f_ZFaxioms.pdf link to view the file.