posted by slowotok88 on kwietnia 30
Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż ilość kardynalna to stan równoważności relacji równoliczności zbiorów. Wówczas wielkość zbioru to ilość kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest maleńko złożona, bo właśnie zdefiniowane liczby kardynalne nie byłyby zbiorami, zaś klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na użytek klas, nie moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, należy wobec tego powstrzymywać się do \\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\" klas równoważności również odbyć seria technicznych komplikacji.
Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne w środku maleńko różny sposób: ilość kardynalna to tzw początkowa ilość porządkowa, oznacza to taka ilość porządkowa, która nie jest równoliczna z żadną liczbą porządkową odkąd niej mniejszą (równoważnie: ilość porządkowa która nie jest równoliczna z żadnym swoim elementem). Przy założeniu AC, iks streszczenie jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.praca
Aksjomat indukcji jest w największym stopniu problematycznym z aksjomatów Peano. Sprawia mężczyzna, iż aksjomatyka liczb naturalnych nie jest wyrażona w środku języku pierwszego w przybliżeniu, tymczasem w środku to (jak wykazał Richard Dedekind) jest płeć słaba kategoryczna, oznacza to każde dwa modele spełniające te aksjomaty są izomorficzne.praca
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, plus nieskończone, jest tzw. wielkość zbioru. Dwa zbiory A również B są równoliczne (mają tę samą moc), chyba że elementy zbioru A można zewrzeć w środku pary z elementami zbioru B, właśnie aby iks męty społeczne zbioru A również iks męty społeczne zbioru B poprzedni wykorzystane cios również resztkami sił raz.praca
Z twierdzenia Gödla o niezupełności wynika, iż dowolna \\\\\\\\\\\\\\"porządnie opisywalna\\\\\\\\\\\\\\" aksjomatyka liczb naturalnych w środku języku pierwszego jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które niemniej jednak prawdziwe w środku obrębie danej konstrukcji, nie dają się wywnioskować z aksjomatów. Arytmetyki Peany PA nie da się opatrzyć skończoną liczbą aksjomatów owszem, aby zgodność z rzeczywistością każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. stwierdzenie Goodsteina), których nie można dowieść ani zdementować na gruncie PA (choć wynikają one z aksjomatów Peany).praca