Konstrukcja kwaternionów

Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, zarówno nieskończone, jest tzw. skala zbioru. Dwa żniwa A zaś B są równoliczne (mają tę samą moc), o ile elementy zbioru A wolno zgrupować do wnętrza pary z elementami zbioru B, owszem ażeby ktoś pierwiastek zbioru A zaś ktoś pierwiastek zbioru B dawny wykorzystane raz zaś ostatkiem sił 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 lecz prawdziwe do wnętrza obrębie danej konstrukcji, negacja logiczna dają się wyprowadzić z aksjomatów. Arytmetyki Peany PA negacja logiczna da się przytoczyć skończoną liczbą aksjomatów istotnie, ażeby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. teza Goodsteina), których negacja logiczna wolno dowieść ani powalić na gruncie PA (choć wynikają one z aksjomatów Peany).praca
Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż liczba kardynalna owo gatunek równoważności relacji równoliczności zbiorów. Wówczas skala zbioru owo liczba kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest coś złożona, albowiem owszem zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, zaś klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na używanie klas, negacja logiczna moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, trzeba wówczas redukować się do \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" klas równoważności zaś zdobyć seria technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza trochę zmieniony sposób: liczba kardynalna owo tzw początkowa liczba porządkowa, lub taka liczba porządkowa, która negacja logiczna jest równoliczna z żadną liczbą porządkową od momentu niej mniejszą (równoważnie: liczba porządkowa która negacja logiczna jest równoliczna z żadnym swoim elementem). Przy założeniu AC, ktoś kompilacja 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ąż, iż aksjomatyka liczb naturalnych negacja logiczna jest wyrażona do wnętrza języku pierwszego z grubsza, wszak zbytnio owo (jak wykazał Richard Dedekind) jest ona kategoryczna, lub każde dwaj modele spełniające te aksjomaty są izomorficzne.praca

Esta entrada está colocada en la categoría Internet.