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 wyraża się w postaci zdania logicznego:

Aby uniknąć stosowania symbolu części wspólnej w powyższym zdaniu, można zastąpić y ∩ x = ∅ logicznie mu równoważnym ∼∃z (z∈x ∧ z∈y), uzyskując równoważne zdanie:

Aksjomat regularności gwarantuje, że zbiory budowane są zgodnie z intuicją. Wynika z niego, że każdy zbiór posiada element przecinający się pusto z nim samym. Używając aksjomatu regularności można udowodnić, że żaden zbiór nie jest swoim własnym elementem.

Bibliografia[edytuj]