Reklama stron internetowych

Niektóre podzbiory liczb naturalnych

Ponieważ dany zestaw aksjomatów może mieć wiele różnych modeli, liczby można skonstruować na wiele sposobów

Z twierdzenia Gödla o niezupełności wynika, że dowolna \\\\\\\"porządnie opisywalna\\\\\\\" aksjomatyka liczb naturalnych wewnątrz języku pierwszego jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które lecz prawdziwe wewnątrz obrębie danej konstrukcji, nie dają się wyprowadzić spośród aksjomatów. Arytmetyki Peany PA nie da się dopowiedzieć skończoną liczbą aksjomatów w rzeczy samej, aby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. twierdzenie Goodsteina), których nie można wykazać ani kasować na gruncie PA (choć wynikają one spośród aksjomatów Peany).pracaAksjomat indukcji jest najbardziej problematycznym spośród aksjomatów Peano. Sprawia pan, że aksjomatyka liczb naturalnych nie jest wyrażona wewnątrz języku pierwszego coś koło tego, lecz w ciągu owo (jak wykazał Richard Dedekind) jest płeć słaba kategoryczna, to znaczy każde dwa modele spełniające te aksjomaty są izomorficzne.pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że poziom kardynalna owo typ równoważności relacji równoliczności zbiorów. Wówczas intensywność zbioru owo poziom kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest coś złożona, dlatego że no zdefiniowane liczby kardynalne nie byłyby zbiorami, oraz klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na rola klas, nie moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, należy wówczas przeszkadzać się do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności również zwyciężyć kolej technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne wewnątrz coś odmienny sposób: poziom kardynalna owo tzw początkowa poziom porządkowa, to znaczy taka poziom porządkowa, która nie jest równoliczna spośród żadną liczbą porządkową od momentu niej mniejszą (równoważnie: poziom porządkowa która nie jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, każdy z osobna zbiór 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, plus nieskończone, jest tzw. intensywność zbioru. Dwa żniwa A również B są równoliczne (mają tę samą moc), o ile elementy zbioru A można związać wewnątrz pary spośród elementami zbioru B, no aby każdy z osobna szczegół zbioru A również każdy z osobna szczegół zbioru B poprzedni wykorzystane razu jednego również tylko raz.praca

Tagi: serwery  hobby  historia  ezoteryka  gry  wiedza  manipulacja  sprzet    budownictwo 

Artykuły o podobnej tematyce:
Poważna gra w multigamingu
Kemping Mały Raj - prawie jak w domu
pozycjonowanie stron
Budowa wizerunku w internecie

Aktywność robotów sieciowych: Google: 11, MSN: 8, Yahoo: 1