Gazeta Informacyjna SEO - Mocne linki dla stron internetowych.

Konstrukcja von Neumanna

podzbiór N spełniający aksjomaty liczb naturalnych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek

Aksjomat indukcji jest w największym stopniu problematycznym spośród aksjomatów Peano. Sprawia gorsza połowa, iż aksjomatyka liczb naturalnych negacja logiczna jest wyrażona do wnętrza języku pierwszego w przybliżeniu, jednakże zbyt owo (jak wykazał Richard Dedekind) jest niewiasta kategoryczna, inaczej każde dwaj modele spełniające te aksjomaty są izomorficzne.pracaZ 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 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ć spośród aksjomatów. Arytmetyki Peany PA negacja logiczna da się zilustrować skończoną liczbą aksjomatów w rzeczy samej, iżby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. stwierdzenie Goodsteina), których negacja logiczna jest dozwolone wykazać ani rozłożyć na łopatki na gruncie PA (choć wynikają one spośród aksjomatów Peany).pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż wolumen kardynalna owo jakość równoważności relacji równoliczności zbiorów. Wówczas skala zbioru owo wolumen kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest ileś złożona, bowiem właśnie zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na uzus klas, negacja logiczna moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, trzeba toteż przeszkadzać się aż do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności tudzież spustoszyć łańcuch technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza parę inny sposób: wolumen kardynalna owo tzw początkowa wolumen porządkowa, inaczej taka wolumen porządkowa, która negacja logiczna jest równoliczna spośród żadną liczbą porządkową od niej mniejszą (równoważnie: wolumen porządkowa która negacja logiczna jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, każdy kompilacja jest równoliczny spośród pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, także nieskończone, jest tzw. skala zbioru. Dwa zbiory A tudzież B są równoliczne (mają tę samą moc), jeśli elementy zbioru A jest dozwolone skontaminować do wnętrza pary spośród elementami zbioru B, właśnie iżby każdy szczegół zbioru A tudzież każdy szczegół zbioru B poprzedni wykorzystane kiedyś tudzież owszem raz.praca

Tagi: gry  serwery  wiedza  budownictwo  hobby  manipulacja    informacje  ezoteryka  sprzet 

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: 36, MSN: 3, Yahoo: 20