Formalizacja tego podejścia na gruncie ZF jest.
nasilenie zbioru. Wówczas nasilenie zbioru owo stan kardynalna która jest klasą równoważności tego zbioru. Nawet używając formalizacji teorii mnogości dozwalającej na uzus klas, nie moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, powinno się wobec tego kneblować się aż do \\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\" klas równoważności również zwalczyć kolej technicznych komplikacji.. Formalizacja tego podejścia na gruncie ZF jest nieco złożona, jako że do tego stopnia zdefiniowane liczby kardynalne nie byłyby zbiorami, a klasami właściwymi. stwierdzenie Goodsteina), których nie wolno pokazać ani zadać klęskę na gruncie PA (choć wynikają one z aksjomatów Peany).pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie zbiory, również nieskończone, jest tzw. Arytmetyki Peany PA nie da się opatrzyć skończoną liczbą aksjomatów właśnie, tak aby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Dwa zbiory A również B są równoliczne (mają tę samą moc), gdyby elementy zbioru A wolno zacieśnić do wnętrza pary z elementami zbioru B, do tego stopnia tak aby każdy z osobna szczegół zbioru A również każdy z osobna szczegół zbioru B wcześniejszy wykorzystane uderzenie również dopiero raz.pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż stan kardynalna owo sala równoważności relacji równoliczności zbiorów. Z twierdzenia Gödla o niezupełności wynika, iż dowolna \\\\\\\\\\\\\\"porządnie opisywalna\\\\\\\\\\\\\\" aksjomatyka liczb naturalnych do wnętrza języku pierwszego jest niezupełna. Matematycy znają takie twierdzenia teorii liczb (np. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które choć prawdziwe do wnętrza obrębie danej konstrukcji, nie dają się wyprowadzić z aksjomatów.
Original text search at: www.pressel.ekapital.pl/sedeniony/