Zermelo, Ernst
matematico tedesco (1871-1953). Diede la prima formulazione assiomatica della teoria degli insiemi. Il sesto degli assiomi su cui è basata la sua formulazione, detto delle infinite scelte arbitrarie, è essenziale in molte dimostrazioni (assioma di Zermelo).
L'assioma di Zermelo (o della scelta)
Data una classe formata da infiniti insiemi è sempre possibile scegliere da ogni insieme della classe un elemento e formare con gli elementi così scelti un nuovo insieme.
Mi sto dedicando a questo pensiero: come sarebbe un mondo in cui l'assioma di Zermelo fosse falso, ossia:
Esiste almeno una classe formata da infiniti insiemi dalla quale non è possibile scegliere da ogni insieme un elemento e formare con gli elementi così scelti un nuovo insieme.
