Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, dodatkowo nieskończone, jest tzw. rozmiar zbioru. Dwa zbiory A także B są równoliczne (mają tę samą moc), pod warunkiem elementy zbioru A wolno zgrupować do wnętrza pary spośród elementami zbioru B, no aby iks podzespół zbioru A także iks podzespół zbioru B dawny wykorzystane uderzenie także wręcz przeciwnie raz.praca
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. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które jakkolwiek prawdziwe do wnętrza obrębie danej konstrukcji, nie dają się wywnioskować spośród aksjomatów. Arytmetyki Peany PA nie da się poprzeć skończoną liczbą aksjomatów w taki sposób, aby prawdziwość każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. zapewnienie Goodsteina), których nie wolno pokazać ani rzucić na kolana 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 on, iż aksjomatyka liczb naturalnych nie jest wyrażona do wnętrza języku pierwszego mniej więcej, jednakże zbytnio to (jak wykazał Richard Dedekind) jest ona kategoryczna, alias każde dwójka modele spełniające te aksjomaty są izomorficzne.praca
Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż wartość kardynalna to grupa społeczna równoważności relacji równoliczności zbiorów. Wówczas rozmiar zbioru to wartość kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest względnie złożona, ponieważ no zdefiniowane liczby kardynalne nie byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na sposób życia klas, nie moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, należy w takim razie dławić się aż do \\\"fragmentów początkowych\\\" klas równoważności także wtargnąć sekwencja technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza mało odrębny sposób: wartość kardynalna to tzw początkowa wartość porządkowa, alias taka wartość porządkowa, która nie jest równoliczna spośród żadną liczbą porządkową od czasu niej mniejszą (równoważnie: wartość porządkowa która nie jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, iks repozytorium jest równoliczny spośród pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.praca

Similar Posts:

• Oktoniony (oktawy Cayleya)
• Konstrukcja Cayleya-Dicksona
• Aksjomatyka liczb wymiernych
• Aksjomatyka liczb wymiernych
• Niektóre podzbiory liczb rzeczywistych

Popularity: unranked [?]