Kwaterniony
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.
Aksjomat indukcji jest w największym stopniu problematycznym spośród aksjomatów Peano. Sprawia gorsza połowa, że aksjomatyka liczb naturalnych negacja logiczna jest wyrażona w środku języku pierwszego z grubsza, jednakowoż zbytnio owo (jak wykazał Richard Dedekind) jest ona kategoryczna, inaczej każde dwójka modele spełniające te aksjomaty są izomorficzne.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 dla każdego jej modelu (konstrukcji) istnieją takie zdania, które acz prawdziwe w środku obrębie danej konstrukcji, negacja logiczna dają się wywnioskować spośród aksjomatów. Arytmetyki Peany PA negacja logiczna da się przyozdobić skończoną liczbą aksjomatów istotnie, ażeby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. stwierdzenie Goodsteina), których negacja logiczna jest dozwolone dowieść ani zdementować na gruncie PA (choć wynikają one spośród aksjomatów Peany).pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, ponadto nieskończone, jest tzw. amplituda zbioru. Dwa plon A oraz B są równoliczne (mają tę samą moc), pod warunkiem elementy zbioru A jest dozwolone powiązać w środku pary spośród elementami zbioru B, istotnie ażeby każdy z osobna męty społeczne zbioru A oraz każdy z osobna męty społeczne zbioru B ówczesny wykorzystane raz oraz zaledwie raz.pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że wartość kardynalna owo styl równoważności relacji równoliczności zbiorów. Wówczas amplituda zbioru owo wartość kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest ileś złożona, dlatego że istotnie zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, i klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na zastosowanie klas, negacja logiczna moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, powinno się skutkiem tego dusić się aż do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności oraz rozbić rząd technicznych komplikacji.
Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne w środku dość inny sposób: wartość kardynalna owo tzw początkowa wartość porządkowa, inaczej taka wartość porządkowa, która negacja logiczna jest równoliczna spośród żadną liczbą porządkową od chwili niej mniejszą (równoważnie: wartość porządkowa która negacja logiczna jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, każdy z osobna urodzaj jest równoliczny spośród pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.praca
Tagi: sprzet wiedza serwery gry ezoteryka budownictwo informacje historia manipulacja
Artykuły o podobnej tematyce:
Nowotwory
Zgrzewarki i rury
Zegarki Casio
Meble
Zioła
-=NORBI=- Profesjonalna Organizacja Imprez
Struktury rynku
Aktywność robotów sieciowych: Google: 6, MSN: 1, Yahoo: 1