Aksjomat regularności

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Aksjomat regularności – jeden z aksjomatów teorii mnogości w ujęciu aksjomatycznym Zermelo-Fraenkela. Inna spotykana nazwa tego aksjomatu to aksjomat ufundowania. Aksjomat regularności gwarantuje, że zbiory budowane są zgodnie z intuicją, czy ż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,

czyli wyraża się w postaci zdania logicznego:

Zapis można zastąpić logicznie mu równoważnym uzyskując równoważne zdanie:

Bibliografia[edytuj]