Aksjomatyka Tarskiego

Aksjomat indukcji jest w największym stopniu problematycznym z aksjomatów Peano. Sprawia mężczyzna, iż aksjomatyka liczb naturalnych nie jest wyrażona wewnątrz języku pierwszego rzędu, przecież za owo (jak wykazał Richard Dedekind) jest płeć nadobna kategoryczna, czyli każde duet modele spełniające te aksjomaty są izomorficzne.praca
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, ponadto nieskończone, jest tzw. siła zbioru. Dwa zbiory A zaś B są równoliczne (mają tę samą moc), jeżeli elementy zbioru A jest dozwolone wymieszać wewnątrz pary z elementami zbioru B, no iżby ktoś część zbioru A zaś ktoś część zbioru B były wykorzystane uderzenie zaś wręcz przeciwnie raz.praca
Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż numer kardynalna owo styl równoważności relacji równoliczności zbiorów. Wówczas siła zbioru owo numer kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest trochę złożona, skoro no zdefiniowane liczby kardynalne nie byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na styl życia klas, nie moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, wypada w takim razie reglamentować się do \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" klas równoważności zaś wtargnąć szereg technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne wewnątrz trochę nowy sposób: numer kardynalna owo tzw początkowa numer porządkowa, czyli taka numer porządkowa, która nie jest równoliczna z żadną liczbą porządkową odkąd niej mniejszą (równoważnie: numer porządkowa która nie jest równoliczna z żadnym swoim elementem). Przy założeniu AC, ktoś urodzaj jest równoliczny z 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ę wyprowadzić z aksjomatów. Arytmetyki Peany PA nie da się przytoczyć skończoną liczbą aksjomatów w istocie, iżby prawdziwość każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. teza Goodsteina), których nie jest dozwolone udowodnić ani wywrócić na gruncie PA (choć wynikają one z aksjomatów Peany).praca

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