Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż stan kardynalna owo szyk równoważności relacji równoliczności zbiorów. Wówczas skala zbioru owo stan kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest trochę złożona, albowiem faktycznie zdefiniowane liczby kardynalne nie byłyby zbiorami, natomiast klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na zachowanie klas, nie moglibyśmy sformułować definicję klasy wszystkich liczb kardynalnych, powinno się tedy filtrować się aż do \\\"fragmentów początkowych\\\" klas równoważności także podbić rząd technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne wewnątrz trochę wyróżniający się sposób: stan kardynalna owo tzw początkowa stan porządkowa, czy taka stan porządkowa, która nie jest równoliczna spośród żadną liczbą porządkową od czasu niej mniejszą (równoważnie: stan porządkowa która nie jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, wszelki zespół jest równoliczny spośród pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.praca
Z twierdzenia Gödla o niezupełności wynika, iż dowolna \\\"porządnie opisywalna\\\" aksjomatyka liczb naturalnych wewnątrz języku pierwszego jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które chociaż prawdziwe wewnątrz obrębie danej konstrukcji, nie dają się wywnioskować spośród aksjomatów. Arytmetyki Peany PA nie da się kończyć skończoną liczbą aksjomatów owszem, ażeby zgodność z rzeczywistością każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. teza Goodsteina), których nie jest dozwolone wykazać ani powalić na gruncie PA (choć wynikają one spośród aksjomatów Peany).praca
Aksjomat indukcji jest w największym stopniu problematycznym spośród aksjomatów Peano. Sprawia mąż, iż aksjomatyka liczb naturalnych nie jest wyrażona wewnątrz języku pierwszego rzędu, jakkolwiek wewnątrz owo (jak wykazał Richard Dedekind) jest ona kategoryczna, czy każde dubel modele spełniające te aksjomaty są izomorficzne.praca
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie zbiory, również nieskończone, jest tzw. skala zbioru. Dwa żniwa A także B są równoliczne (mają tę samą moc), gdyby elementy zbioru A jest dozwolone powiązać wewnątrz pary spośród elementami zbioru B, faktycznie ażeby wszelki margines zbioru A także wszelki margines zbioru B uprzedni wykorzystane cios także ostatnim tchem raz.praca

Similar Posts:

• Aksjomatyka liczb wymiernych
• Kwaterniony
• Aksjomatyka liczb wymiernych
• Aksjomatyka kwaternionów
• Oktoniony (oktawy Cayleya)

Popularity: unranked [?]