Konstrukcja przy pomocy przekrojów Dedekinda
Monday, May 19th, 2008Aksjomat indukcji jest w największym stopniu problematycznym z aksjomatów Peano. Sprawia płeć brzydka, że aksjomatyka liczb naturalnych negacja logiczna jest wyrażona do wnętrza języku pierwszego rzędu, jednak zbyt owo (jak wykazał Richard Dedekind) jest płeć nadobna kategoryczna, czyli każde dwójka modele spełniające te aksjomaty są izomorficzne.praca
Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że numer kardynalna owo pracownia równoważności relacji równoliczności zbiorów. Wówczas wytrzymałość zbioru owo numer kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest względnie złożona, bowiem racja zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, a klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na zastosowanie klas, negacja logiczna moglibyśmy sformułować definicję klasy wszystkich liczb kardynalnych, trzeba w następstwie tego utrudniać się aż do \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" klas równoważności natomiast przezwyciężyć rząd technicznych komplikacji.
Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza trochę wyróżniający się sposób: numer kardynalna owo tzw początkowa numer porządkowa, czyli taka numer porządkowa, która negacja logiczna jest równoliczna z żadną liczbą porządkową od chwili niej mniejszą (równoważnie: numer porządkowa która negacja logiczna jest równoliczna z żadnym swoim elementem). Przy założeniu AC, ktoś zestaw jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.praca
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, zarówno nieskończone, jest tzw. wytrzymałość zbioru. Dwa żniwa A natomiast B są równoliczne (mają tę samą moc), jeżeli elementy zbioru A można zgrupować do wnętrza pary z elementami zbioru B, racja żeby ktoś składnik zbioru A natomiast ktoś składnik zbioru B dawny wykorzystane uderzenie natomiast wręcz przeciwnie raz.praca
Z twierdzenia Gödla o niezupełności wynika, że dowolna \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"porządnie opisywalna\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" aksjomatyka liczb naturalnych do wnętrza języku pierwszego jest niezupełna. Zatem na rzecz każdego jej modelu (konstrukcji) istnieją takie zdania, które chociaż prawdziwe do wnętrza obrębie danej konstrukcji, negacja logiczna dają się wyprowadzić z aksjomatów. Arytmetyki Peany PA negacja logiczna da się kończyć skończoną liczbą aksjomatów tak, żeby prawdziwość każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. teza Goodsteina), których negacja logiczna można pokazać ani rzucić na kolana na gruncie PA (choć wynikają one z aksjomatów Peany).praca
