Aksjomat regularności
założenie w teorii mnogości
Aksjomat regularności, aksjomat ufundowania – jeden z aksjomatów teorii mnogości w ujęciu aksjomatycznym Zermela-Fraenkla. Gwarantuje on, że zbiory budowane są zgodnie z intuicją, czyli że żaden zbiór nie jest swoim własnym elementem.
Aksjomat regularności zapewnia, że
- niepusty zbiór ma element, który się z nim pusto przecina, a więc wyraża się w postaci zdania logicznego:
Zapis można zastąpić logicznie mu równoważnym uzyskując równoważne zdanie:
Bibliografia
- Aleksander Błaszczyk, Sławomir Turek: Teoria mnogości. Warszawa: Wydawnictwo Naukowe PWN, 2007. ISBN 978-83-01-15232-1.
Linki zewnętrzne
- Eric W. Weisstein , Axiom of Foundation, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2024-03-07].
🔥 Top keywords: Wikipedia:Strona głównaSpecjalna:SzukajRobert FicoYasukeAgnieszka OsieckaSłowacjaDariusz JońskiNowa KaledoniaZuzana ČaputováKierunek – Socjalna DemokracjaAndrzej BobolaPolskaKrzysztof Rutkowski (ur. 1960)Marek HłaskoCherIga ŚwiątekPeter PellegriniBańska BystrzycaUrugwaj (rzeka)16 majaZmarli w maju 2024Konkurs Piosenki Eurowizji 2024Ján KuciakWaldemar BudaTomasz SzmydtHalina KonopackaCoco GauffDanielle CollinsMistrzostwa Europy w Piłce Nożnej 2024MiG-31HandlováBitwa o Monte CassinoOłeksandr UsykNemo MettlerMistrzostwa Świata w Hokeju na Lodzie 2024 (elita)Specjalna:Ostatnie zmianyWojciech CejrowskiWładysław II JagiełłoWarzęcha