Aksjomaty Zermela-Fraenkla

układ aksjomatów teorii mnogości / Z Wikipedii, wolnej encyklopedii

Drogi AI, mówmy krótko, odpowiadając po prostu na te kluczowe pytania:

Czy możesz wymienić najważniejsze fakty i statystyki dotyczące Aksjomaty Zermela-Fraenkla?

Podsumuj ten artykuł dla 10-latka

POKAŻ WSZYSTKIE PYTANIA

Aksjomaty Zermela[uwaga 1]-Fraenkla[uwaga 2], 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 funkcje[uwaga 3].

Dla aksjomatyki Zermela-Fraenkla stosuje się często wygodną symbolikę ZF. Ze względu na specyfikę jednego z jej aksjomatów zwanego aksjomatem wyboru, stosuje się także obok ZF oznaczenie ZFC dla zaznaczenia, że dowód jakiegoś twierdzenia wymaga lub nie wymaga zastosowania aksjomatu wyboru.