EDB — 2DX

[2DX] Si indica usualmente con la sigla "ZF" la teoria basata sugli assiomi Zermelo–Fraenkel; si indica con "ZFC" la teoria data dagli assiomi di Zermelo–Fraenkel con l’aggiunta dell’assioma della scelta.