Otwórz menu główne

Zmiany

Rozmiar się nie zmienił ,  6 lat temu
→‎Aksjomat nieskończoności: Zwiększenie czytelności - w pierwotnej wersji te same symbole w różnych miejscach odnoszą się do różnych kwantyfikatorów. Formalnie jest to poprawne, ale drastycznie zmniejsza czytelność.
{{Główny artykuł|Aksjomat nieskończoności}}
: Istnieje [[zbiór induktywny]]:
:: <math>\exist x\; \Bigg(\exist ya\; \Big(ya \in x \and \forall zb\; \neg(zb \in ya)\Big)</math>
::: <math>\and \forall yc \bigg( yc\in x\Rightarrow \exist zd\; \Big(zd \in x \and \forall xe\; \big(xe \in zd \Leftrightarrow (xe \in yc \or xe = yc)\big)\Big)\bigg)\Bigg)</math>
: Istnieje wiele takich zbiorów.
:[[Część wspólna]] wszystkich takich zbiorów jest najmniejszym zbiorem o tych właściwościach i określa zbiór [[liczby naturalne|liczb naturalnych]].
Anonimowy użytkownik