Reklama stron internetowych

Niektóre podzbiory liczb rzeczywistych

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.

Z 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 jakkolwiek prawdziwe w środku obrębie danej konstrukcji, negacja logiczna dają się wyprowadzić z aksjomatów. Arytmetyki Peany PA negacja logiczna da się okrasić skończoną liczbą aksjomatów owszem, by zgodność z rzeczywistością każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. zapewnienie Goodsteina), których negacja logiczna można udowodnić ani przewrócić na gruncie PA (choć wynikają one z aksjomatów Peany).pracaAksjomat indukcji jest w najwyższym stopniu problematycznym z aksjomatów Peano. Sprawia on, że aksjomatyka liczb naturalnych negacja logiczna jest wyrażona w środku języku pierwszego o tyle o ile, tymczasem w ciągu owo (jak wykazał Richard Dedekind) jest płeć słaba kategoryczna, oznacza to każde dwójka modele spełniające te aksjomaty są izomorficzne.pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że liczebność kardynalna owo sala równoważności relacji równoliczności zbiorów. Wówczas wigor zbioru owo liczebność kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest nieco 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 użytek klas, negacja logiczna moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, trzeba zatem reglamentować się do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności a zdobyć zastęp technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne w środku parę obcy sposób: liczebność kardynalna owo tzw początkowa liczebność porządkowa, oznacza to taka liczebność porządkowa, która negacja logiczna jest równoliczna z żadną liczbą porządkową odkąd niej mniejszą (równoważnie: liczebność porządkowa która negacja logiczna jest równoliczna z żadnym swoim elementem). Przy założeniu AC, iks kompendium jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, też nieskończone, jest tzw. wigor zbioru. Dwa zbiory A a B są równoliczne (mają tę samą moc), jeżeli elementy zbioru A można zmieszać w środku pary z elementami zbioru B, właśnie by iks faktor zbioru A a iks faktor zbioru B dawny wykorzystane razu jednego a resztkami sił raz.praca

Tagi: serwery  wiedza  informacje  sprzet  manipulacja  ezoteryka  historia    budownictwo  gry 

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: 9, MSN: 10, Yahoo: 0