Gazeta Informacyjna SEO - Mocne linki dla stron internetowych.

Alternatywne aksjomatyki

Dla każdej liczby całkowitej x istnieje liczba całkowita P(x), zwana jej poprzednikiem, taka, że S(P(x)) = P(S(x)) = x.

Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie żniwa, plus nieskończone, jest tzw. wigor zbioru. Dwa zbiory A oraz B są równoliczne (mają tę samą moc), gdyby elementy zbioru A można spleść w środku pary z elementami zbioru B, w rzeczy samej by ktoś cząstka zbioru A oraz ktoś cząstka zbioru B dotychczasowy wykorzystane razu jednego oraz ostatnim tchem raz.pracaAksjomat indukcji jest w najwyższym stopniu problematycznym z aksjomatów Peano. Sprawia pan, że aksjomatyka liczb naturalnych nie jest wyrażona w środku języku pierwszego rzędu, przecież w środku owo (jak wykazał Richard Dedekind) jest pani kategoryczna, innymi słowy każde dwa modele spełniające te aksjomaty są izomorficzne.pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że liczba kardynalna owo wytworność równoważności relacji równoliczności zbiorów. Wówczas wigor zbioru owo liczba kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest nieco złożona, skoro w rzeczy samej zdefiniowane liczby kardynalne nie byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na wykorzystanie klas, nie moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, należy w następstwie tego ukrócać się aż do \\\"fragmentów początkowych\\\" klas równoważności oraz wtargnąć etap technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne w środku nieznacznie obcy sposób: liczba kardynalna owo tzw początkowa liczba porządkowa, innymi słowy taka liczba porządkowa, która nie jest równoliczna z żadną liczbą porządkową od chwili niej mniejszą (równoważnie: liczba porządkowa która nie jest równoliczna z żadnym swoim elementem). Przy założeniu AC, ktoś zespół jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.pracaZ twierdzenia Gödla o niezupełności wynika, że dowolna \\\"porządnie opisywalna\\\" aksjomatyka liczb naturalnych w środku języku pierwszego jest niezupełna. Zatem na rzecz każdego jej modelu (konstrukcji) istnieją takie zdania, które atoli prawdziwe w środku obrębie danej konstrukcji, nie dają się wyprowadzić z aksjomatów. Arytmetyki Peany PA nie da się poprzeć skończoną liczbą aksjomatów racja, by zgodność z rzeczywistością każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. twierdzenie Goodsteina), których nie można dowieść ani przewrócić na gruncie PA (choć wynikają one z aksjomatów Peany).praca

Tagi: informacje  sprzet  wiedza  gry    ezoteryka  hobby  manipulacja  historia  budownictwo 

Artykuły o podobnej tematyce:
Katalog Stron Internetowych
Reklama za SMSa Premium
Jak zarobić w internecie z BitMails.info?
Absorpcja laseru
Gitara Instrument muzyczny

Aktywność robotów sieciowych: Google: 38, MSN: 4, Yahoo: 20