Una versione assiomatica della teoria degli insiemi di Zermelo-Fraenkel (riporta anche, alla fine, l'assioma di finitezza di Tarski)
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: f_ZFaxioms.pdf