Aksjomat ekstensjonalności
założenie w teorii mnogości / Z Wikipedii, wolnej encyclopedia
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 Aksjomat ekstensjonalności?
Podsumuj ten artykuł dla 10-latka
POKAŻ WSZYSTKIE PYTANIA
Aksjomat ekstensjonalności, aksjomat jednoznaczności[1], aksjomat równości – jeden z aksjomatów Zermela-Fraenkla w aksjomatycznej teorii mnogości, sformułowany przez Ernsta Zermela w 1908 roku[2][3]. Aksjomat ten postuluje, że dwa zbiory złożone z tych samych elementów są identyczne.
Formalnie aksjomat ten to następujące zdanie języka pierwszego rzędu (gdzie jest binarnym symbolem relacyjnym):