Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.-FraenklaZnacznie rzadziej występuje oboczność „Fraenkela”., aksjomatyka Zermela-Fraenkla – układ aksjomatów teorii mnogości zaproponowany przez Ernsta Zermela w 1904 roku i później uzupełniony przez Abrahama Fraenkla. Tym, co w istocie Fraenkel dodał do teorii Zermela, były funkcjeUmożliwiają one m.in. konstrukcję Przykładowo może być równe m.in. czy … ( jedynym znanym nam ograniczeniem na , jest: ).To oszacowanie wynika z tzw. twierdzenia Kőniga; zob. także: współkońcowość. Najmniejszą liczbą kardynalną, którą – na sposób dowodliwy, w ramach – nie może być wyrażenie , jest: ; ponieważ jest to najmniejsza liczba kardynalna, która dowodliwie w jest singularna i której współkońcowość jest przeliczalna..
Dla aksjomatyki Zermela-Fraenkla stosuje się często wygodną symbolikę ZF. Ze względu na specyfikę jednego z jej aksjomatów zwanego aksjomatem wyboru (ang.