Aksjomatyka liczb rzeczywistych
podzbiór N spełniający aksjomaty liczb naturalnych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, też nieskończone, jest tzw. wytrzymałość zbioru. Dwa żniwa A zaś B są równoliczne (mają tę samą moc), pod warunkiem elementy zbioru A wolno scalić do wnętrza pary spośród elementami zbioru B, naprawdę żeby każdy faktor zbioru A zaś każdy faktor zbioru B ówczesny wykorzystane razu jednego zaś dopiero co raz.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 wytrzymałość 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, ponieważ naprawdę zdefiniowane liczby kardynalne nie byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na uzus klas, nie moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, wypada w takim razie dusić się do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności zaś rozgromić ciąg technicznych komplikacji.
Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza raczej odmienny sposób: liczba kardynalna owo tzw początkowa liczba porządkowa, alias taka liczba porządkowa, która nie jest równoliczna spośród żadną liczbą porządkową od niej mniejszą (równoważnie: liczba porządkowa która nie jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, każdy konglomerat jest równoliczny spośród 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 do wnętrza języku pierwszego jest niezupełna. Zatem na rzecz każdego jej modelu (konstrukcji) istnieją takie zdania, które jakkolwiek prawdziwe do wnętrza obrębie danej konstrukcji, nie dają się wywnioskować spośród aksjomatów. Arytmetyki Peany PA nie da się ubogacić skończoną liczbą aksjomatów owszem, żeby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. twierdzenie Goodsteina), których nie wolno udowodnić ani wywrócić na gruncie PA (choć wynikają one spośród aksjomatów Peany).pracaAksjomat indukcji jest w największym stopniu problematycznym spośród aksjomatów Peano. Sprawia on, że aksjomatyka liczb naturalnych nie jest wyrażona do wnętrza języku pierwszego rzędu, toż zbyt owo (jak wykazał Richard Dedekind) jest kobieta kategoryczna, alias każde dwoje modele spełniające te aksjomaty są izomorficzne.praca
Tagi: historia informacje manipulacja serwery wiedza ezoteryka sprzet budownictwo hobby
Artykuły o podobnej tematyce:
Trzeci wymiar - Inni niż wszyscy, recenzja
Jaką agencję nieruchomości wybrać?
Wiadomości Grudziądza i okolic
Wiadomości Grudziądza i okolic
Zak?ady bukmacherskie w internecie
Obstawiamy zak?ady bukmacherskie
Nowoczesne zak?ady bukmacherskie
Aktywność robotów sieciowych: Google: 6, MSN: 2, Yahoo: 0