text:
# Aksjomaty i konstrukcje liczb
Aksjomaty i konstrukcje liczb – metody ścisłego definiowania liczb używane w matematyce. Aksjomaty liczb to warunki, jakie muszą spełniać pewne obiekty oraz działania na nich, aby mogły być uznane za liczby danego rodzaju (np. liczby naturalne, liczby wymierne itp.). Konstrukcje liczb są algebrami, tak utworzonymi, aby spełniały właściwe danym liczbom aksjomaty.
Nie ma jednej uniwersalnej cechy odróżniającej wszystkie liczby od elementów algebr, które tak nie są nazywane. Matematycy nie definiują „liczb”, definiują „liczby naturalne”, „liczby całkowite”, „liczby rzeczywiste” itp.
O ile jednak nazwanie danego obiektu liczbą jest podyktowane bardziej tradycją niż ogólną definicją, to poszczególne rodzaje liczb są już ściśle określane. Definicje liczb stanowią pewną sekwencję (bardziej złożone algebry opierają się na prostszych), którą prezentuje niniejszy artykuł.

## Metody definiowania liczb
Liczby mogą być definiowane na trzy sposoby:
- przez podanie aksjomatów, czyli właściwości, jakie muszą spełniać działania w pewnym zbiorze (klasie), aby struktura złożona z tego zbioru oraz działań mogła zostać uznana za algebrę liczbową.
- przez stworzenie konstrukcji, czyli bezpośrednie utworzenie jakichś obiektów i nazwanie ich liczbami (jeśli dany rodzaj liczb posiada własną aksjomatykę, taka konstrukcja musi być modelem tej aksjomatyki, czyli wszystkie aksjomaty muszą być dla niej spełnione).
- przez wydzielenie podzbioru spełniającego dany warunek z osobno zdefiniowanego szerszego zbioru liczb – jest to w zasadzie szczególny przypadek zarówno aksjomatyki, jak i konstrukcji.

Wśród mnogości pojęć mających w nazwie słowo „liczba” można wyróżnić:
- zbiory liczb tworzące nietrywialną algebrę – dodawanie i mnożenie dowolnych dwóch liczb z takiego zbioru jest działaniem wewnętrznym, czyli zawsze daje wyniki z tego zbioru. Należą do tej grupy wszystkie (z wyjątkiem liczb przestępnych, przestępnych rzeczywistych i niewymiernych) rodzaje liczb pokazane na ilustracji z początku artykułu. Liczby te są definiowane za pomocą aksjomatów opisujących własności działań na nich, lub za pomocą konstrukcji. Jeśli jakieś zbiory liczbowe tworzą algebrę i zawierają podzbiór również tworzący algebrę, to działania na liczbach z tego podzbioru muszą dawać w obydwu algebrach identyczne wyniki. W ten sposób każda kolejna algebra liczbowa rozszerza poprzednią.
- podzbiory zbiorów liczbowych nietworzące niezależnych algebr – są to zbiory liczb, wyróżnione ze względu na jakąś szczególną własność, np. liczby pierwsze, będące liczbami naturalnymi dzielącymi się tylko przez 1 i przez siebie. Są one definiowane przez podanie warunku, jaki muszą spełniać liczby z pewnej algebry.
- liczby nie tworzące zbiorów, lecz klasy. Do tej grupy wchodzą liczby kardynalne, liczby porządkowe i liczby nadrzeczywiste. Okazuje się, że próba stworzenia zbioru tych liczb prowadzi do sprzeczności, można jedynie grupować je w tzw. klasy. Można dla nich również zdefiniować działania arytmetyczne i w pewnym sensie one także stanowią rozszerzenie algebry liczb naturalnych. Liczby kardynalne i porządkowe są definiowane wyłącznie przez konstrukcję.

Zbiory liczbowe tworzące algebrę są zawsze definiowane razem z podstawowymi działaniami na nich – dodawaniem i mnożeniem. Dopiero określenie zbioru wraz z działaniami, czyli tzw. struktury algebraicznej, stanowi dostateczną definicję. Nie wystarcza tu skonstruowanie samego zbioru, gdyż określając odpowiednio działania, można sprawić, że np. zbiór liczb wymiernych będzie nieodróżnialny (izomorficzny) od zbioru liczb naturalnych.

### Izomorfizm konstrukcji
Dowolny zbiór, w którym zdefiniowane działania spełniają aksjomaty właściwe dla danej algebry liczbowej, czyli tzw. model jej aksjomatyki, można nazwać zbiorem liczb. Posiada on bowiem wówczas wszystkie właściwości, jakich oczekujemy po danym zbiorze liczbowym. Model aksjomatyki liczb nazywamy konstrukcją liczb.
Ponieważ dany zestaw aksjomatów może mieć wiele różnych modeli, liczby można skonstruować na wiele sposobów. Metody te są równoważne w tym sensie, że wszelkie twierdzenia udowodnione na liczbach skonstruowanych według jednej metody dają się bez zmian przenosić na inne konstrukcje (zachodzi tzw. izomorfizm). W praktyce więc nie ma, poza domeną teorii mnogości i logiki, potrzeby ich odróżniania.
Na ogół zaczyna się konstrukcję od liczb naturalnych, następnie buduje się na ich podstawie liczby całkowite, na bazie których z kolei konstruuje się liczby wymierne, potem rzeczywiste i zespolone. W każdym z tych zbiorów są podzbiory, które przy tej samej definicji działań spełniają aksjomaty liczb zdefiniowanych wcześniej.
Przykładowo liczby wymierne mogą być skonstruowane jako zbiory par liczb całkowitych z odpowiednio zdefiniowanym dodawaniem i mnożeniem. Wydawałoby się, że liczba całkowita zbiorem par liczb całkowitych być nie może, a więc liczby całkowite nie są szczególnym przypadkiem liczb wymiernych. Ponieważ jednak podzbiór liczb wymiernych odpowiadający ułamkom a/1 ze zwykłym dodawaniem i mnożeniem także spełnia aksjomaty liczb całkowitych, ostatecznie możemy więc stwierdzić, że liczby całkowite są jednak szczególnym przypadkiem wymiernych, a ich zbiór zawiera się w zbiorze liczb wymiernych. Podobnie jest przy konstruowaniu kolejnych zbiorów liczbowych.
Można też wykonać konstrukcję od drugiej strony i najpierw skonstruować jakąś dostatecznie szeroką strukturę, np. liczby zespolone, a następnie zdefiniować pozostałe zbiory jako jej podzbiory z tymi samymi działaniami dodawania i mnożenia.

## Liczby naturalne

### Aksjomatyka Peana
Na początek załóżmy, że istnieje liczba 1 (cokolwiek by ten symbol miał oznaczać). Chcielibyśmy także dla każdej liczby {\displaystyle a} móc pokazać jej tzw. następnik (oznaczymy go {\displaystyle S(a)}). Musimy zatem zagwarantować istnienie następnika liczby 1 (który oznaczymy 2), a także następników kolejnych następników. Następnik liczby 2 oznaczymy 3 itd. Jeśli dodatkowo założymy, że 1 nie jest następnikiem żadnej liczby i odpowiednio zdefiniujemy dodawanie i mnożenie, to tak skonstruowany zbiór możemy nazwać zbiorem liczb naturalnych.
Proces konstrukcji kolejnych elementów zbioru wygląda następująco:
{\displaystyle 1\mapsto S(1)\mapsto S(S(1))\mapsto S(S(S(1)))\mapsto \ldots }
Ściślej rzecz biorąc, zbiór liczb naturalnych jest definiowany przez aksjomaty Peana.
|    | Aksjomatyka Peana                                                                                |
| -- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| 1. | J jest liczbą naturalną.                                                                                |
| 2. | Dla każdej liczby naturalnej istnieje dokładnie jedna liczba naturalna, zwana jej następnikiem.                                                                                |
| 3. | J nie jest następnikiem żadnej liczby naturalnej.                                                                                |
| 4. | Jeśli dwie liczby naturalne mają równe następniki, to są sobie równe.                                                                                |
| 5. | Aksjomat indukcji: Niech dany będzie zbiór, którego elementami są liczby naturalne o następujących własnościach: a. J jest elementem tego zbioru b. Wraz z każdą liczbą naturalną należącą do tego zbioru należy do niego także jej następnik. Wówczas zbiór ten zawiera wszystkie liczby naturalne. |

Niektórzy matematycy zaliczają zero do liczb naturalnych, inni nie. Jest to wyłącznie kwestia nazewnictwa. Zarówno zbiór liczb naturalnych z zerem, jak i bez niego ma powyższe własności. W tym pierwszym przypadku J oznacza 0, w tym drugim 1.
Do pełnego określenia liczb naturalnych brakuje definicji działań i porządku. Definicje te zależą już od tego, czy liczby naturalne zaczniemy od zera, czy nie.
Dla liczb z zerem dodawanie, mnożenie i relację porządku wprowadzamy przez aksjomaty:
| Pojęcie          | Aksjomaty                                                                                |
| ---------------- | ----------------------------------------------------------------------------------------------------- |
| Dodawanie        | 6. {\displaystyle a+0=a} 7. {\displaystyle a+S(b)=S(a+b)}                                             |
| Mnożenie         | 8. {\displaystyle a\cdot 0=0} 9. {\displaystyle a\cdot S(b)=a\cdot b+a}                               |
| Porządek liniowy | 10. {\displaystyle a\leqslant b} istnieje takie naturalne {\displaystyle k,} że {\displaystyle a+k=b} |

Podstawiając do równania 9 wartość: {\displaystyle b=0,} uzyskujemy {\displaystyle a\cdot S(0)=a,} skąd wynika, że {\displaystyle S(0)} jest elementem neutralnym mnożenia.
Zwykle przywykliśmy do zapisywania tej liczby jako 1, stąd można napisać: {\displaystyle 1=S(0).}
Podstawiając do równania 7: {\displaystyle b=0,} uzyskujemy: {\displaystyle a+S(0)=S(a),} czyli: {\displaystyle a+1=S(a).}
Odstępy pomiędzy każdą liczbą a jej następnikiem są identyczne i równe 1.
Stąd: {\displaystyle 2=S(1),3=S(2),\dots }
Dla liczb naturalnych bez zera dodawanie, mnożenie i relację porządku wprowadzamy przez aksjomaty:
| Pojęcie          | Aksjomaty                                                                                |
| ---------------- | ----------------------------------------------------------------------------------------------------------------------------- |
| Dodawanie        | 6. {\displaystyle a+1=S(a)} 7. {\displaystyle a+S(b)=S(a+b)}                                                                  |
| Mnożenie         | 8. {\displaystyle a\cdot 1=a} 9. {\displaystyle a\cdot S(b)=a\cdot b+a}                                                       |
| Porządek liniowy | 10. {\displaystyle a\leqslant b} istnieje takie naturalne {\displaystyle k,} że {\displaystyle a+k=b} lub {\displaystyle a=b} |

### Inne aksjomatyki
Aksjomat indukcji jest najbardziej problematycznym z aksjomatów Peana. Sprawia on, że aksjomatyka liczb naturalnych nie jest wyrażona w języku pierwszego rzędu, ale za to (jak wykazał Richard Dedekind) jest ona kategoryczna, czyli każde dwa modele spełniające te aksjomaty są izomorficzne.
Ponieważ w logice głównym narzędziem są języki pierwszego rzędu, matematycy rozważają arytmetykę Peana (oznaczaną przez PA od angielskiego Peano arithmetic). Jest to teoria w języku pierwszego rzędu, która powstaje przez zastąpienie aksjomatu indukcji schematem (nieskończoną listą) aksjomatów pierwszego rzędu. Teoria PA jest znacznie słabsza niż aksjomatyzacja Peana, w szczególności nie jest kategoryczna i ma wiele nieizomorficznych modeli.
Z twierdzenia Gödla o niezupełności wynika, że dowolna „porządnie opisywalna” aksjomatyka liczb naturalnych w języku pierwszego rzędu jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które choć prawdziwe w obrębie danej konstrukcji, nie dają się wyprowadzić z aksjomatów. Arytmetyki Peana PA nie da się uzupełnić skończoną liczbą aksjomatów, tak aby prawdziwość każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. twierdzenie Goodsteina), których nie można udowodnić ani obalić na gruncie PA (choć wynikają one z aksjomatów Peana).
Inną aksjomatyką jest podejście Kaye (1991). Kaye nie definiuje aksjomatu indukcji, uznając go za część metajęzyka. Kaye zakłada w nim, że zero należy do liczb naturalnych i definiuje od razu dodawanie, mnożenie i relację porządku:
|     | Aksjomatyka Kaye                                                                                |
| --- | -------------------------------------------------------------------------------------------------- |
| 1.  | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }(x+y)+z=x+(y+z)}                                  |
| 2.  | {\displaystyle \bigwedge _{x,y\in \mathbb {N} }x+y=y+x}                                            |
| 3.  | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }(x\cdot y)\cdot z=x\cdot (y\cdot z)}              |
| 4.  | {\displaystyle \bigwedge _{x,y\in \mathbb {N} }x\cdot y=y\cdot x}                                  |
| 5.  | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }x\cdot (y+z)=x\cdot y+x\cdot z}                   |
| 6.  | {\displaystyle \bigwedge _{x\in \mathbb {N} }(x+0=x\land x\cdot 0=0)}                              |
| 7.  | {\displaystyle \bigwedge _{x\in \mathbb {N} }x\cdot 1=x}                                           |
| 8.  | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }((x<y\land y<z)\Rightarrow x<z)}                  |
| 9.  | {\displaystyle \bigwedge _{x\in \mathbb {N} }\lnot (x<x)}                                          |
| 10. | {\displaystyle \bigwedge _{x,y\in \mathbb {N} }(x<y\lor x=y\lor x>y)}                              |
| 11. | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }(x<y\Rightarrow x+z<y+z)}                         |
| 12. | {\displaystyle \bigwedge _{x,y,z\in \mathbb {N} }(0<z\land x<y\Rightarrow x\cdot z<y\cdot z)}      |
| 13. | {\displaystyle \bigwedge _{x,y\in \mathbb {N} }(x<y\Rightarrow \bigvee _{z\in \mathbb {N} }x+z=y)} |
| 14. | {\displaystyle 0<1\land \bigwedge _{x\in \mathbb {N} }(x>0\Rightarrow x\geqslant 1)}               |
| 15. | {\displaystyle \bigwedge _{x\in \mathbb {N} }x\geqslant 0}                                         |

Istnieją też systemy aksjomatycznej teorii mnogości równoważne arytmetyce Peana.

### Konstrukcja Fregego i Russella
Pierwsza konstrukcja liczb naturalnych, autorstwa Gottloba Fregego i niezależnie Bertranda Russella, definiuje je po prostu jako liczności (ściślej: moce) zbiorów skończonych. Relacja „dwa zbiory są równoliczne” pozwala na uporządkowanie zbiorów skończonych w klasy zbiorów o tej samej liczności. Etykiety przypisane tym klasom nazywamy liczbami naturalnymi.

### Konstrukcja von Neumanna
W teorii mnogości liczby naturalne konstruuje się w sposób zaproponowany przez Johna von Neumanna. W tym przypadku zbiór pusty utożsamiamy z zerem, następnik zera – liczbę jeden – utożsamiamy ze zbiorem złożonym z zera (zbioru pustego) i ogólniej następnik każdej liczby jest zbiorem, którego elementami są wszystkie poprzednie liczby.
{\displaystyle 0=\varnothing ,}
{\displaystyle 1=\{0\}=\{\varnothing \},}
{\displaystyle 2=\{0,1\}=\{\varnothing ,\{\varnothing \}\},}
{\displaystyle 3=\{0,1,2\}=\{\varnothing ,\{\varnothing \},\{\varnothing ,\{\varnothing \}\}\},}
{\displaystyle \vdots }
Jeśli przez {\displaystyle \mathbb {N} } oznaczać zbiór liczb naturalnych, wówczas:
{\displaystyle \mathbb {N} =\{\varnothing ,\{\varnothing \},\{\varnothing ,\{\varnothing \}\},\{\varnothing ,\{\varnothing \},\{\varnothing ,\{\varnothing \}\}\},\dots \}=\{0,1,2,3,\dots \}.}
W teorii mnogości zbiór liczb naturalnych oznacza się też przez {\displaystyle \omega } (por. liczba porządkowa).

### Niektóre podzbiory liczb naturalnych
- liczby pierwsze – liczby naturalne {\displaystyle x} większe od 1, których dzielnikami naturalnymi są tylko 1 oraz {\displaystyle x.}
- liczby Fermata – liczby naturalne postaci {\displaystyle F_{n}=2^{2^{n}}+1,} gdzie {\displaystyle n} jest liczbą naturalną
- liczby Mersenne’a – liczby określone wzorem {\displaystyle 2^{p}-1} gdzie p jest liczbą pierwszą
- liczby półpierwsze – posiadające dokładnie dwa dzielniki pierwsze
- liczby Fibonacciego – wyrazy ciągu Fibonacciego
- liczby doskonałe – liczby naturalne, które są sumą wszystkich swych dzielników właściwych.

## Liczby całkowite

### Aksjomatyka liczb całkowitych
Aksjomaty liczb całkowitych tworzy się, modyfikując aksjomatykę Peana przez wprowadzenie obok następnika, operacji poprzednika.
|    | Aksjomatyka liczb całkowitych                                                                                |
| -- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| 1. | Istnieje liczba całkowita 0.                                                                                |
| 2. | Dla każdej liczby całkowitej {\displaystyle x} istnieje dokładnie jedna liczba całkowita {\displaystyle S(x),} zwana jej następnikiem.                                                                                |
| 3. | Dla każdej liczby całkowitej {\displaystyle x} istnieje liczba całkowita {\displaystyle P(x),} zwana jej poprzednikiem, taka, że {\displaystyle S(P(x))=P(S(x))=x.}                                                                                |
| 4. | 0 jest różne od wszystkich jego kolejnych następników.                                                                                |
| 5. | Aksjomat indukcji dwustronnej: Niech {\displaystyle M} będzie zbiorem takim, że: a. M zawiera przynajmniej jedną liczbę całkowitą b. dla każdej liczby całkowitej {\displaystyle x,} {\displaystyle x\in M\Rightarrow P(x),S(x)\in M} wtedy {\displaystyle M} zawiera wszystkie liczby całkowite. |

Istnieją inne aksjomatyki liczb całkowitych.

### Konstrukcja Grassmana liczb całkowitych
| Zbiór liczb całkowitych konstruujemy jako przestrzeń ilorazową relacji równoważności {\displaystyle \sim } określonej na zbiorze par liczb naturalnych (z zerem, lub bez zera – nie ma to tutaj znaczenia), zdefiniowanej następująco: {\displaystyle (a,\;b)\sim (c,\;d)\Leftrightarrow a+d=b+c,} gdzie {\displaystyle a,\;b,\;c,\;d\in \mathbb {N} } Nieściśle mówiąc, liczbę całkowitą można skonstruować jako zbiór wszystkich par liczb naturalnych, które dałyby ten sam wynik przy odejmowaniu. Przykłady - Liczba całkowita {\displaystyle 2} to zbiór {\displaystyle \{(2,\;0),\;(3,\;1),\;(4,\;2),\;(5,\;3),\;\ldots \;\}} zawierający pary liczb naturalnych, których różnica wynosi 2. - Liczba całkowita {\displaystyle -3} to zbiór {\displaystyle \{(0,\;3),\;(1,\;4),\;(2,\;5),\;(3,\;6),\;\ldots \;\}} |

Definicje działań:
| Pojęcie                     | Definicja                                                  |
| --------------------------- | ---------------------------------------------------------- |
| Dodawanie                   | {\displaystyle [(a,\;b)]+[(c,\;d)]=[(a+c,\;b+d)]}          |
| Element neutralny dodawania | {\displaystyle [(0,\;0)]}                                  |
| Element przeciwny           | {\displaystyle -[(a,\;b)]=[(b,\;a)]}                       |
| Mnożenie                    | {\displaystyle [(a,\;b)]\cdot [(c,\;d)]=[(ac+bd,\;ad+bc)]} |
| Element neutralny mnożenia  | {\displaystyle [(1,\;0)]}                                  |

gdzie {\displaystyle [(a,\;b)]} oznacza klasę abstrakcji odpowiadającą {\displaystyle (a,\;b).}
Podzbiór liczb całkowitych dodatnich (czyli takich, że w należących do nich parach {\displaystyle (a,\;b),} {\displaystyle a>b}) lub ewentualnie nieujemnych (w analogiczny sposób {\displaystyle a\geqslant b}) z tak samo zdefiniowanymi działaniami spełnia aksjomaty Peana, a zatem jest kolejną konstrukcją liczb naturalnych. Można więc uznać tak skonstruowane liczby naturalne za podzbiór liczb całkowitych.

### Niektóre podzbiory liczb całkowitych
- liczby naturalne
  - definiowane jako liczby całkowite dodatnie – liczby całkowite większe od zera
  - definiowane jako liczby całkowite nieujemne – liczby całkowite większe lub równe zeru
- liczby całkowite ujemne – liczby całkowite mniejsze od zera
- liczby całkowite niedodatnie – liczby całkowite mniejsze lub równe zeru

## Liczby wymierne

### Aksjomatyka liczb wymiernych
Liczby wymierne, jako pierwszy z konstruowanych w tym artykule rodzajów liczb, pozwalają wykonywać bez przeszkód cztery podstawowe działania arytmetyczne: dodawanie, odejmowanie, mnożenie i dzielenie. W języku algebry mówimy, że liczby wymierne tworzą ciało.
Ciało liczb wymiernych jest tzw. ciałem prostym, tzn. nie posiada podzbiorów będących ciałami (oprócz samego siebie). Istnieją inne ciała proste – ciała {\displaystyle \mathbb {Z} _{p}} reszt z dzielenia przez liczby pierwsze {\displaystyle p.} Okazuje się jednak, że oprócz liczb wymiernych i ciał reszt innych ciał prostych nie ma.
Zostało to wykorzystane do zaksjomatyzowania zbioru liczb wymiernych {\displaystyle \mathbb {Q} {:}}
1. {\displaystyle (\mathbb {Q} ,+,\cdot ,0,1)} jest ciałem prostym.
2. Ciało liczb wymiernych nie jest izomorficzne (równoważne) z ciałem reszt {\displaystyle \mathbb {Z} _{p}} dla żadnego {\displaystyle p}

Drugi warunek można równoważnie sformułować jako ciało liczb wymiernych nie jest skończone.
Można udowodnić, że dowolny zbiór, spełniający te aksjomaty zawiera:
- podzbiór {\displaystyle N} spełniający aksjomaty liczb naturalnych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek {\displaystyle 0\in N\wedge (x\in N\Rightarrow x+1\in N)}
- podzbiór {\displaystyle Z} spełniający aksjomaty liczb całkowitych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek {\displaystyle 0\in Z\wedge (x\in Z\Rightarrow x-1,x+1\in Z)}

Tym samym możemy stwierdzić, że niezależnie od konstrukcji, liczby naturalne i liczby całkowite są szczególnymi przypadkami liczb wymiernych, a ich zbiory zawierają się w zbiorze liczb wymiernych.

### Konstrukcja liczb wymiernych
Nieściśle mówiąc, liczby wymierne można skonstruować jako zbiór wszystkich takich par, gdzie pierwszy element pary jest liczbą całkowitą, a drugi niezerową liczbą całkowitą
Ściśle: zbiór liczb wymiernych {\displaystyle \mathbb {Q} } konstruujemy jako przestrzeń ilorazową relacji równoważności {\displaystyle \backsim \subset \left(\mathbb {Z} \times (\mathbb {Z} \setminus \{0\})\right)^{2}} określonej warunkiem:
{\displaystyle (p,r)\backsim (q,s)\iff p\cdot s=r\cdot q} gdzie {\displaystyle p,q\in \mathbb {Z} ;\ r,s\in \mathbb {Z} \setminus \{0\}}
Czyli {\displaystyle \mathbb {Q} =\mathbb {Z} \times (\mathbb {Z} \setminus \{0\})/_{\backsim }}.
| Pojęcie                     | Definicja                                                              |
| --------------------------- | ---------------------------------------------------------------------- |
| Dodawanie                   | {\displaystyle [(a,\;b)]+[(c,\;d)]=[(ad+bc,\;bd)]}                     |
| Element neutralny dodawania | {\displaystyle [(0,\;1)]}                                              |
| Element przeciwny           | {\displaystyle -[(a,\;b)]=[(-a,\;b)]}                                  |
| Mnożenie                    | {\displaystyle [(a,\;b)]\cdot [(c,\;d)]=[(ac,\;bd)]}                   |
| Element neutralny mnożenia  | {\displaystyle [(1,\;1)]}                                              |
| Element odwrotny            | {\displaystyle [(a,\;b)]^{-1}=[(b,\;a)]} dla {\displaystyle a\neq 0}   |
| Porządek                    | {\displaystyle [(a,\;b)]<[(c,\;d)]\iff ad<bc} dla {\displaystyle bd>0} |

gdzie {\displaystyle [(a,\;b)]} oznacza klasę abstrakcji zawierającą {\displaystyle (a,\;b),} a znak {\displaystyle <} oznacza relację porządku w zbiorze liczb całkowitych. Klasy {\displaystyle [(a,\;b)]} zapisujemy w postaci {\displaystyle {\frac {a}{b}}} i nazywamy często ilorazem liczb {\displaystyle a} i {\displaystyle b.} Gdy {\displaystyle b=1,} piszemy po prostu {\displaystyle {\tfrac {a}{1}}=a.}
Przykłady
- Liczba wymierna {\displaystyle {\tfrac {1}{2}}} to zbiór {\displaystyle \{\dots ,(-1,-2),(1,2),(2,4),(3,6),\dots \}} zawierający pary liczb całkowitych.
- Liczba wymierna {\displaystyle {\tfrac {-3}{1}}} lub krócej {\displaystyle -3} to zbiór {\displaystyle \{\dots ,(-6,2),(-3,1),(3,-1),(6,-2),\dots \}}

## Liczby rzeczywiste
Często powtarzana legenda podaje, że pierwszą odkrytą liczbą, niebędącą liczbą wymierną (powiemy później niewymierną), była długość przekątnej kwadratu o boku jednostkowym. Liczbę tę, {\displaystyle {\sqrt {2}},} możemy jedynie obustronnie przybliżać wyrazami pewnego ciągu liczb wymiernych, nie da się jednak przedstawić jej przy pomocy stosunku liczb całkowitych. Innymi przykładami liczb o takiej własności są stosunek długości obwodu okręgu do jego średnicy, {\displaystyle \pi ,} oraz podstawa logarytmu naturalnego, {\displaystyle e.}
Klasycznie istnieją trzy podejścia do formalnej definicji zbioru liczb rzeczywistych: pierwszy z nich to definicja aksjomatyczna, drugi (metoda Dedekinda) – przy pomocy tzw. przekrojów Dedekinda, trzeci (metoda Cantora) – za pomocą tzw. ciągów Cauchy’ego liczb wymiernych.

### Aksjomatyka liczb rzeczywistych
Formalnie liczby rzeczywiste można zdefiniować jako strukturę algebraiczną {\displaystyle (\mathbb {R} ,+,\cdot ,0,1,\leqslant )} spełniającą następujące aksjomaty:
1. {\displaystyle (\mathbb {R} ,+,\cdot ,0,1,\leqslant )} jest ciałem uporządkowanym,
2. aksjomat ciągłości: każdy niepusty i ograniczony z góry podzbiór {\displaystyle \mathbb {R} } ma kres górny.

Równoważne sformułowanie aksjomatu ciągłości można otrzymać, używając przekrojów Dedekinda, podanych dalej.

### Aksjomatyka Tarskiego
Alfred Tarski stworzył alternatywną, minimalistyczną aksjomatykę. Niech {\displaystyle \mathbb {R} } będzie zbiorem, < relacją w {\displaystyle \mathbb {R} ,} + działaniem {\displaystyle +\colon \mathbb {R} \times \mathbb {R} \to \mathbb {R} .} Niech 1 będzie stałą.
Aksjomaty porządku

1. „<” jest relacją asymetryczną

2. {\displaystyle x<z\Rightarrow \bigvee _{y}x<y<z}

3. Jeśli {\displaystyle X,Y\subseteq \mathbb {R} } oraz dla każdego {\displaystyle x\in X} i dla każdego {\displaystyle y\in Y} zachodzi {\displaystyle x<y,} to istnieje taka liczba rzeczywista {\displaystyle z,} że dla każdych {\displaystyle x\in X} i {\displaystyle y\in Y,} jeśli {\displaystyle z\neq x} i {\displaystyle z\neq y,} to {\displaystyle x<z<y.}
Aksjomaty dodawania

4. {\displaystyle x+(y+z)=(x+z)+y}

5. Dla dowolnych {\displaystyle x,y,} istnieje {\displaystyle z,} takie że {\displaystyle x+z=y}

6. {\displaystyle x+y<z+w\Rightarrow x<z\vee y<w}
Aksjomaty jedności

7. {\displaystyle 1\in \mathbb {R} }

8. {\displaystyle 1<1+1}
W aksjomatach Tarskiego nie jest używane mnożenie. Udowodnił on jednak, że z tych aksjomatów wynika istnienie działania mnożenia, spełniającego wraz z dodawaniem aksjomaty ciała.

### Konstrukcja przy pomocy przekrojów Dedekinda
Niech {\displaystyle \mathbf {X} } będzie niepustym zbiorem takim, że między jego elementami określona jest relacja silnego porządku liniowego {\displaystyle \prec ,} którą będziemy nazywać relacją mniejszości.
Przekrojem Dedekinda zbioru {\displaystyle \mathbf {X} } nazywamy parę zbiorów {\displaystyle (A,B)} taką, że {\displaystyle A,B\subseteq \mathbf {X} } oraz spełnione są następujące warunki:
1. {\displaystyle A\neq \varnothing ,B\neq \varnothing ,}
2. {\displaystyle A\cup B=\mathbf {X} ,}
3. jeżeli {\displaystyle a\in A} i {\displaystyle b\in B,} to {\displaystyle a<b,}
4. {\displaystyle A\cap B=\emptyset .}

Zbiór {\displaystyle A} nazywamy klasą dolną, a zbiór {\displaystyle B} klasą górną przekroju. Przekrój wyznaczony parą zbiorów {\displaystyle (A,B)} oznaczamy {\displaystyle [A,B].}
Aksjomat ciągłości Dedekinda można inaczej sformułować w następujący sposób:
Jeżeli {\displaystyle [A,B]} jest przekrojem Dedekinda zbioru {\displaystyle \mathbf {X} ,} to albo klasa dolna {\displaystyle A} ma element największy, albo klasa górna {\displaystyle B} ma element najmniejszy.
Przyjmijmy {\displaystyle \mathbf {X} =\mathbb {Q} .} Każdy przekrój Dedekinda {\displaystyle [A,B]} tego zbioru można interpretować jako wzajemne położenie elementów pary, której pierwszy elementem są uzupełniające się półproste, a drugim zbiór {\displaystyle \mathbb {Q} .} Przy tym istnieją trzy możliwości:
1. {\displaystyle A} ma element największy, należący do {\displaystyle \mathbb {Q} ,}
2. {\displaystyle B} ma element najmniejszy, należący do {\displaystyle \mathbb {Q} ,}
3. Klasa {\displaystyle A} nie ma elementu największego oraz klasa {\displaystyle B} nie ma elementu najmniejszego.

Ilustracja powyższych możliwości:
ad 1. {\displaystyle A=\{x\in \mathbb {Q} \colon x\leqslant 1\},B=\{x\in \mathbb {Q} \colon x>1\}}
ad 2. {\displaystyle A=\{x\in \mathbb {Q} \colon x<1\},B=\{x\in \mathbb {Q} \colon x\geqslant 1\}}
ad 3. {\displaystyle A=\{x\in \mathbb {Q} \colon x<0\vee x^{2}<2\},B=\{x\in \mathbb {Q} \colon x>0\wedge x^{2}>2\}}
W przypadku 3. mówimy, że przekrój {\displaystyle [A,B]} wyznacza lukę – ponieważ równanie {\displaystyle x^{2}=2} nie ma rozwiązania w ciele liczb wymiernych, tym samym zbiór liczb wymiernych nie spełnia aksjomatu ciągłości Dedekinda.
Liczby rzeczywiste można zdefiniować jako przekroje Dedekinda zbioru liczb wymiernych.
Przekroje typu 1 i 2 nazywamy liczbami rzeczywistymi wymiernymi. Dwa przekroje typu 1 i 2 wyznaczające tę samą liczbę rzeczywistą wymierną uważamy za równe:
{\displaystyle [A,B]=[C,D]\Leftrightarrow A\cap D=B\cap C=\emptyset }
Natomiast jeśli przekrój {\displaystyle [A,B]} wyznacza lukę, to nazywamy go liczbą rzeczywistą niewymierną.
Określmy {\displaystyle \mathbb {Q} _{-}=\{x\in \mathbb {Q} \colon x\leqslant 0\}} oraz {\displaystyle \mathbb {Q} _{+}:=\mathbb {Q} \setminus \mathbb {Q} _{-}.}
| Pojęcie                     | Definicja                                                                                |
| --------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| Dodawanie                   | {\displaystyle [A_{1},B_{1}]+[A_{2},B_{2}]=[A_{1}+A_{2},B_{1}+B_{2}]}                                                                                |
| Element neutralny dodawania | {\displaystyle {\overline {0}}=[\mathbb {Q} _{-},\mathbb {Q} _{+}]}                                                                                |
| Element przeciwny           | {\displaystyle -[A_{1},B_{1}]=[-B_{1},-A_{1}]}                                                                                |
| Mnożenie                    | Gdy {\displaystyle \mathbb {Q} _{-}\subset A_{1},\mathbb {Q} _{-}\subset A_{2}} {\displaystyle [A_{1},B_{1}]\cdot [A_{2},B_{2}]=[A_{3},B_{3}],} przy czym: {\displaystyle [A_{3},B_{3}]=[\mathbb {Q} _{-}\cup (A_{1}\setminus \mathbb {Q} _{-})\cdot (A_{2}\setminus \mathbb {Q} _{-}),\mathbb {Q} \setminus A_{3}]} Gdy {\displaystyle A_{1},A_{2}\subset \mathbb {Q} _{-}} wtedy {\displaystyle \mathbb {Q} _{-}\subset -B_{1},\mathbb {Q} _{-}\subset -B_{2}} {\displaystyle [A_{1},B_{1}]\cdot [A_{2},B_{2}]=[-B_{1},-A_{1}]\cdot [-B_{2},-A_{2}]} Gdy {\displaystyle A_{1}\subset \mathbb {Q} _{-}\subset A_{2},} to {\displaystyle \mathbb {Q} _{-}\subset -B_{1}} {\displaystyle [A_{1},B_{1}]\cdot [A_{2},B_{2}]=-([-B_{1},-A_{1}]\cdot [A_{2},B_{2}])} Gdy {\displaystyle A_{2}\subset \mathbb {Q} _{-}\subset A_{1}} {\displaystyle [A_{1},B_{1}]\cdot [A_{2},B_{2}]=-([-B_{2},-A_{2}]\cdot [A_{1},B_{1}])} (przypadek jak wyżej) |
| Porządek                    | {\displaystyle [A_{1},B_{1}]<[A_{2},B_{2}]\iff A_{1}\subset A_{2}\wedge [A_{1},B_{1}]\neq [A_{2},B_{2}]}                                                                                |

Wykazuje się, że zbiór {\displaystyle \mathbb {R} } z działaniami i porządkiem określonymi jak w tabeli spełnia aksjomaty ciała uporządkowanego oraz aksjomat ciągłości Dedekinda.
Działania w tym zbiorze oznaczamy tak samo jak działania w zbiorze liczb wymiernych.

### Konstrukcja przy pomocy ciągów Cauchy’ego liczb wymiernych
Niech {\displaystyle {\mathcal {F}}(\mathbb {N} ,\mathbb {Q} )} będzie zbiorem wszystkich odwzorowań zbioru liczb naturalnych w zbiór liczb wymiernych.
Ciąg liczb wymiernych {\displaystyle (a_{n})_{n\in \mathbb {N} }\in {\mathcal {F}}(\mathbb {N} ,\mathbb {Q} )} nazywamy ciągiem Cauchy’ego, gdy
{\displaystyle \bigwedge _{\mathbb {Q} \ni \varepsilon >0}\bigvee _{n_{0}\in \mathbb {N} }\bigwedge _{p,q>n_{0}}|a_{p}-a_{q}|<\varepsilon }
Zbiór wszystkich ciągów Cauchy’ego, należących do {\displaystyle {\mathcal {F}}(\mathbb {N} ,\mathbb {Q} )} oznaczmy {\displaystyle {\mathcal {C}}.} W zbiorze tym wprowadzamy relację równoważności {\displaystyle \sim {:}}
{\displaystyle (a_{n})_{n\in \mathbb {N} }\sim (b_{n})_{n\in \mathbb {N} }\iff \bigwedge _{\mathbb {Q} \ni \varepsilon >0}\bigvee _{n_{0}\in \mathbb {N} }\bigwedge _{n>n_{0}}|a_{n}-b_{n}|<\varepsilon .}
Łatwo sprawdzić, że istotnie jest ona zwrotna, symetryczna i przechodnia.
Zbiór {\displaystyle \mathbb {R} } jest przestrzenią ilorazową {\displaystyle {\mathcal {C}}/_{\sim }.} Wówczas {\displaystyle \mathbb {Q} } możemy identyfikować ze zbiorem klas ciągów stałych. Mówimy, że zanurzyliśmy {\displaystyle \mathbb {Q} } w {\displaystyle \mathbb {R} .}
Działania w {\displaystyle \mathbb {Q} } przenoszą się na działania w {\displaystyle {\mathcal {F}}(\mathbb {N} ,\mathbb {Q} ),} a więc także na {\displaystyle {\mathcal {C}}.} Dzięki temu możemy wprowadzić działania i porządek w {\displaystyle \mathbb {R} ={\mathcal {C}}/_{\sim },} ograniczając się do reprezentantów. Niech {\displaystyle (a_{n})_{n\in \mathbb {N} },(b_{n})_{n\in \mathbb {N} }\in {\mathcal {C}}.}
| Pojęcie                     | Definicja                                                                                |
| --------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| Dodawanie                   | {\displaystyle [(a_{n})_{n\in \mathbb {N} }]+[(b_{n})_{n\in \mathbb {N} }]=[(a_{n}+b_{n})_{n\in \mathbb {N} }]}                                                                 |
| Element neutralny dodawania | {\displaystyle [0]} – ciąg stale równy {\displaystyle 0}                                                                                |
| Element przeciwny           | {\displaystyle -[(a_{n})_{n\in \mathbb {N} }]=[(-a_{n})_{n\in \mathbb {N} }]}                                                                                |
| Mnożenie                    | {\displaystyle [(a_{n})_{n\in \mathbb {N} }]\cdot [(b_{n})_{n\in \mathbb {N} }]=[(a_{n}b_{n})_{n\in \mathbb {N} }]}                                                             |
| Element neutralny mnożenia  | {\displaystyle [1]} – ciąg stale równy {\displaystyle 1}                                                                                |
| Porządek                    | {\displaystyle [(a_{n})_{n\in \mathbb {N} }]>[(b_{n})_{n\in \mathbb {N} }]\iff \bigvee _{0<r\in \mathbb {Q} }\bigvee _{n_{0}\in \mathbb {N} }\bigwedge _{n>n_{0}}b_{n}<a_{n}-r} |

Wykazuje się, że definicja ta spełnia aksjomaty ciała uporządkowanego i nie zależy od wyboru reprezentantów.
Ciało liczb rzeczywistych zawiera podciało, spełniające aksjomaty liczb wymiernych. Można zatem powiedzieć, że liczby wymierne są podzbiorem zbioru liczb rzeczywistych.
Patrząc z drugiej strony, zbiór liczb wymiernych został przy tej konstrukcji uzupełniony o pewne nowe elementy. Elementy te nazywamy liczbami niewymiernymi, a ich zbiór oznaczamy po prostu {\displaystyle \mathbb {R} \setminus \mathbb {Q} .}
Rozszerzanie liczb wymiernych za pomocą ciągów Cauchy’ego przy zmienionej definicji {\displaystyle |a|} w relacji {\displaystyle \sim } prowadzi do zupełnie innego rodzaju liczb. Zobacz sekcję liczby p-adyczne.

### Niektóre podzbiory zbioru liczb rzeczywistych
Oprócz zdefiniowanych wcześniej liczb naturalnych, całkowitych i wymiernych warto wyróżnić:
- liczby dodatnie – większe od zera,
- liczby ujemne – mniejsze od zera,
- liczby nieujemne – większe lub równe zeru,
- liczby niedodatnie – mniejsze lub równe zeru,
- liczby niewymierne – liczby rzeczywiste niedające się przedstawić jako iloraz dwóch liczb całkowitych.

## Liczby zespolone

### Aksjomatyka liczb zespolonych
Liczby zespolone są jedynym skończeniewymiarowym przemiennym ciałem obejmującym liczby rzeczywiste, różnym od ciała liczb rzeczywistych.

### Konstrukcja Cayleya-Dicksona
Konstrukcja Cayleya-Dicksona jest metodą rozszerzania unormowanej przestrzeni liniowej przez tworzenie par jej elementów {\displaystyle (a,\;b),} a następnie definiowanie działań w następujący sposób:
| Pojęcie                     | Definicja                                                                                |
| --------------------------- | ------------------------------------------------------------------------------------------------------------------------ |
| Dodawanie                   | {\displaystyle (a,\;b)+(c,\;d)=(a+c,\;b+d)}                                                                              |
| Element neutralny dodawania | {\displaystyle (0,\;0)}                                                                                |
| Element przeciwny           | {\displaystyle -(a,\;b)=(-a,\;-b)}                                                                                |
| Mnożenie                    | {\displaystyle (a,\;b)(c,\;d)=(ac-d^{*}b,\;da+bc^{*})}                                                                   |
| Element neutralny mnożenia  | {\displaystyle (1,\;0)}                                                                                |
| Element odwrotny            | {\displaystyle (a,\;b)^{-1}=\left({\frac {a^{*}}{\|a\|^{2}+\|b\|^{2}}},\;-{\frac {b}{\|a\|^{2}+\|b\|^{2}}}\right)}       |
| Element sprzężony           | {\displaystyle (a,\;b)^{*}=(a^{*},\;-b)}                                                                                |
| Norma                       | {\displaystyle \|(a,\;b)\|={\sqrt {(a,\;b)^{*}(a,\;b)}}={\sqrt {(a^{*}a+bb^{*},\;ab-ba)}}={\sqrt {\|a\|^{2}+\|b\|^{2}}}} |

{\displaystyle a^{*}=a} oznacza tu liczbę sprzężoną do {\displaystyle a,} czyli taką, że {\displaystyle a^{*}a=|a|^{2}}
Liczby zespolone można utworzyć za pomocą tej konstrukcji, zastosowanej do liczb rzeczywistych, pamiętając, że dla liczb rzeczywistych {\displaystyle a^{*}=a,} a norma {\displaystyle |a|} jest wartością bezwzględną. Stosując tę samą konstrukcję do liczb zespolonych, dostajemy tzw. kwaterniony, następnie stosując ją do kwaternionów – oktoniony, a po zastosowaniu jej do oktonionów – sedeniony.
Tym samym każda liczba zespolona jest konstruowana jako para liczb rzeczywistych.
Działania arytmetyczne na poziomie rachunków na liczbach zespolonych są równoważne wprowadzeniu dodatkowej liczby {\displaystyle i} (tzw. jednostki urojonej), posiadającej właściwość {\displaystyle i^{2}=-1} i utożsamieniu pary {\displaystyle (a,\;b)} z sumą {\displaystyle a+ib.}
Liczbę {\displaystyle a} nazywa się częścią rzeczywistą liczby zespolonej i oznacza {\displaystyle \operatorname {Re} (z),} a liczbę {\displaystyle b} częścią urojoną i oznacza {\displaystyle \operatorname {Im} (z)}

### Płaszczyzna zespolona
Liczby zespolone można interpretować jako punkty płaszczyzny z odpowiednio zdefiniowanym dodawaniem i mnożeniem. Jest to tzw. płaszczyzna zespolona, zwana czasem płaszczyzną Gaussa.
Dodawanie odpowiada wówczas przesunięciu o wektor (por. translacja), a mnożenie przez liczbę zespoloną o module równym 1 – obrotowi o pewien kąt wokół środka układu współrzędnych. Norma w tym przypadku to odległość euklidesowa od początku układu współrzędnych. Liczbę sprzężoną możemy interpretować jako odbicie lustrzane względem osi rzeczywistej (symetria osiowa względem prostej {\displaystyle \operatorname {Im} (z)=0}).
Płaszczyzna zespolona jest kolejną konstrukcją ciała liczb zespolonych.

### Liczby algebraiczne
Oprócz zdefiniowanych wcześniej rodzajów liczb w ciele liczb zespolonych zawiera się ważne podciało: liczby algebraiczne. Są to liczby zespolone będące pierwiastkami pewnego niezerowego wielomianu o współczynnikach wymiernych. Zbiór liczb algebraicznych {\displaystyle \mathbb {A} } z dodawaniem i mnożeniem tworzy ciało. W przeciwieństwie do {\displaystyle \mathbb {R} } i {\displaystyle \mathbb {C} } jest jednak przeliczalny.
W języku algebry możemy powiedzieć, że liczby algebraiczne to elementy algebraiczne ciała liczb zespolonych {\displaystyle \mathbb {C} } nad ciałem liczb wymiernych {\displaystyle \mathbb {Q} .}
Liczby zespolone niebędące liczbami algebraicznymi nazywamy liczbami przestępnymi. Należą do nich m.in. {\displaystyle \pi } oraz e.
Liczby algebraiczne są w ogólności zespolone, ale wśród nich istnieją także liczby rzeczywiste (w szczególności wszystkie liczby wymierne są algebraiczne). Nazywamy je po prostu rzeczywistymi liczbami algebraicznymi. Istnieje też nieskończona liczba ciał węższych od rzeczywistych liczb algebraicznych, lecz szerszych od liczb wymiernych, np. ciało liczb postaci {\displaystyle a+b{\sqrt {2}},} gdzie {\displaystyle a,b\in \mathbb {Q} .}
Istnieją też całkowite liczby algebraiczne. Nie oznacza to jednak przecięcia zbiorów liczb algebraicznych i liczb całkowitych, lecz liczby zespolone będące pierwiastkami wielomianu o współczynnikach całkowitych i współczynniku przy największej potędze {\displaystyle x,} równym 1. Liczby takie tworzą pierścień, gdyż suma, różnica i iloczyn dwóch całkowitych liczb algebraicznych daje również taką liczbę.

## Kwaterniony

### Aksjomatyka kwaternionów
Kwaterniony są jedynym skończeniewymiarowym pierścieniem z dzieleniem {\displaystyle K,} obejmującym ciało liczb zespolonych, w którym zachodzi {\displaystyle a\alpha =\alpha a,} dla wszystkich {\displaystyle a\in \mathbb {R} ,\alpha \in K}.

### Konstrukcja kwaternionów
Konstrukcja Cayleya-Dicksona może być zastosowana do liczb zespolonych. Dostajemy wówczas liczby, zwane kwaternionami. Każdą z nich można przedstawić w postaci {\displaystyle h=a+bi+cj+dk,} gdzie liczby {\displaystyle 1,} {\displaystyle i,} {\displaystyle j,} {\displaystyle k}
mnożą się według poniższej tabeli:
| {\displaystyle \times } | {\displaystyle 1} | {\displaystyle i}  | {\displaystyle j}  | {\displaystyle k}  |
| {\displaystyle 1}       | {\displaystyle 1} | {\displaystyle i}  | {\displaystyle j}  | {\displaystyle k}  |
| {\displaystyle i}       | {\displaystyle i} | {\displaystyle -1} | {\displaystyle k}  | {\displaystyle -j} |
| {\displaystyle j}       | {\displaystyle j} | {\displaystyle -k} | {\displaystyle -1} | {\displaystyle i}  |
| {\displaystyle k}       | {\displaystyle k} | {\displaystyle j}  | {\displaystyle -i} | {\displaystyle -1} |

Kwaterniony nie tworzą zwykłego ciała, gdyż ich mnożenie nie jest przemienne. Posiadają jednak wszystkie inne właściwości wymagane od ciała, stąd czasem mówi się o ciele nieprzemiennym kwaternionów. Kwaterniony są jedynym możliwym rozszerzeniem ciała liczb zespolonych, zachowującym te właściwości.

## Oktoniony (oktawy Cayleya)
Stosując ponownie konstrukcję Cayleya-Dicksona, tym razem do kwaternionów, uzyskujemy tzw. oktawy Cayleya albo inaczej oktoniony.
Liczba zespolona była parą liczb rzeczywistych, kwaternion – czwórką, a oktawa jest ósemką liczb rzeczywistych.
Mnożenie oktonionów jest nie tylko nieprzemienne, ale także nie jest już łączne. Oktawy stanowią jedyną algebrę skończonego wymiaru nad ciałem liczb rzeczywistych z wykonalnym dzieleniem, w której mnożenie nie jest łączne, ale jest łączne w algebrze tworzonej przez każde dwa z jej elementów.

## Sedeniony
Sedeniony powstają po zastosowaniu konstrukcji Cayleya-Dicksona do oktonionów. Sedeniony mają jeszcze gorsze właściwości algebraiczne – pojawiają się tzw. dzielniki zera, czyli istnieją wśród nich niezerowe liczby, których iloczyn jest zerem.

## Algebry Clifforda
Liczby zespolone, kwaterniony, oktoniony i sedeniony można było przedstawić w postaci zapisu
{\displaystyle r_{0}+r_{1}e_{1}+r_{2}e_{2}+\ldots +r_{n}e_{n},}
gdzie {\displaystyle r_{i}} to liczby rzeczywiste, a {\displaystyle e_{i}} to różnego rodzaju stałe – jednostki urojone. Działania na liczbach były całkowicie określone przez iloczyny jednostek urojonych {\displaystyle e_{i}.}
Algebry Clifforda uogólniają te liczby, pozwalając na odmienne definicje tych iloczynów, przy czym w niezdegenerowanych algebrach Clifforda stosowanych do konstrukcji liczb przyjmuje się zawsze:
- {\displaystyle e_{i}^{2}=+1} lub {\displaystyle e_{i}^{2}=-1}
- {\displaystyle e_{i}e_{j}=-e_{j}e_{i}} dla {\displaystyle i\neq j}

Ogólnie algebra Clifforda jest wyznaczona przez formę kwadratową {\displaystyle q} w {\displaystyle n}-wymiarowej przestrzeni wektorowej {\displaystyle V{:}}
- {\displaystyle v^{2}=q(v)}
- {\displaystyle vw+wv=q(v+w)-q(v)-q(w)}

Jeśli bazę przestrzeni wektorowej {\displaystyle V} stanowi zbiór {\displaystyle \{e_{1},e_{2},\dots e_{n}\},} to bazę algebry Clifforda nad {\displaystyle V} stanowi zbiór
{\displaystyle \{e_{i_{1}}e_{i_{2}}\ldots e_{i_{k}}\colon 1\leqslant i_{1}<i_{2}<\ldots <i_{k}\leqslant n{\mbox{ i }}0\leqslant k\leqslant n\}}
Dla {\displaystyle n}-wymiarowej przestrzeni {\displaystyle V} przestrzeń algebry Clifforda ma wymiar {\displaystyle 2^{n}.}
Na elementach {\displaystyle e_{i}} bazy przestrzeni {\displaystyle V} zdefiniujemy mnożenie. Liczby {\displaystyle p} tych elementów, których kwadraty są równe +1, oraz {\displaystyle q} elementów o kwadratach równych -1 określają z dokładnością do izomorfizmu całą wygenerowaną w ten sposób algebrę. Jest ona wówczas oznaczana {\displaystyle C\ell _{p,q}(\mathbb {R} )}
Wiele spośród algebr Clifforda nad ciałem liczb rzeczywistych jest uważanych za odmiany liczb. Są to m.in.:
- liczby zespolone {\displaystyle C\ell _{0,1}(\mathbf {R} )}
- liczby podwójne {\displaystyle C\ell _{1,0}(\mathbf {R} )}
- kwaterniony {\displaystyle C\ell _{0,2}(\mathbf {R} )}
- bikwaterniony Clifforda {\displaystyle C\ell _{0,3}(\mathbf {R} )}
- kokwaterniony {\displaystyle C\ell _{1,1}(\mathbf {R} )} lub {\displaystyle C\ell _{2,0}(\mathbf {R} )}
- algebra czasoprzestrzeni Minkowskiego {\displaystyle C\ell _{1,3}(\mathbf {R} ).}

Algebrę Clifforda osobliwej formy {\displaystyle q(v)=0} na przestrzeni {\displaystyle V} wymiaru 1 nazywamy algebrą liczb dualnych; ma ona szereg zastosowań, np. w geometrii.

### Konstrukcja przez użycie pierścienia ilorazowego
W algebrze abstrakcyjnej liczby zespolone, liczby dualne i liczby podwójne można zdefiniować jako pierścienie ilorazowe pierścienia wielomianów o współczynnikach rzeczywistych przez ideały generowane przez odpowiednie wielomiany:
- liczby zespolone {\displaystyle \mathbb {R} [X]/(X^{2}+1),}
- liczby dualne {\displaystyle \mathbb {R} [X]/(X^{2}),}
- liczby podwójne {\displaystyle \mathbb {R} [X]/(X^{2}-1).}

Liczby zespolone tworzą ciało, gdyż {\displaystyle (X^{2}+1)} jest ideałem maksymalnym.

## Liczby p-adyczne

### Aksjomatyka liczb p-adycznych
Ciała {\displaystyle \mathbb {Q} _{p}} liczb p-adycznych (dla p będących dowolnymi liczbami pierwszymi) są jedynymi możliwymi uzupełnieniami ciała liczb wymiernych według nietrywialnej normy, nierównoważnej z wartością bezwzględną.

### Konstrukcja liczb p-adycznych
Liczby rzeczywiste konstruowaliśmy (zobacz) m.in. jako zbiory ciągów Cauchy’ego liczb wymiernych o tej samej granicy.
Liczby rzeczywiste były klasami równoważności relacji
{\displaystyle \sim {:}}
{\displaystyle (a_{n})_{n\in \mathbb {N} }\sim (b_{n})_{n\in \mathbb {N} }\iff \bigwedge _{\mathbb {Q} \ni \varepsilon >0}\bigvee _{n_{0}\in \mathbb {N} }\bigwedge _{n>n_{0}}|a_{n}-b_{n}|<\varepsilon .}
W definicji tej występuje wartość bezwzględna {\displaystyle |a|.}
Liczby p-adyczne dostaniemy, zmieniając ją na normę {\displaystyle |a|=p^{-w_{p}(a)}} i {\displaystyle |0|=0,} gdzie {\displaystyle w_{p}(a)\in \mathbb {Z} } jest wykładnikiem przy liczbie pierwszej {\displaystyle p} w rozkładzie liczby wymiernej {\displaystyle a} na czynniki pierwsze.
Liczby p-adyczne tworzą ciała. Ciała dla dwóch różnych wartości {\displaystyle p} nie są jednak izomorficzne.
Liczby p-adyczne są używane w teorii liczb do rozwiązywania tzw. równań diofantycznych, czyli równań, w których niewiadome mogą przyjmować tylko wartości całkowite. W kryptografii tego typu równania są stosowane do łamania szyfrów.

## Liczby kardynalne
Innym niż liczby całkowite sposobem rozszerzenia pojęcia liczb naturalnych są tzw. liczby kardynalne.
Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie zbiory, także nieskończone, jest tzw. moc zbioru. Dwa zbiory {\displaystyle A} i {\displaystyle B} są równoliczne (mają tę samą moc), jeśli elementy zbioru {\displaystyle A} można połączyć w pary z elementami zbioru {\displaystyle B,} tak aby każdy element zbioru {\displaystyle A} i każdy element zbioru {\displaystyle B} były wykorzystane raz i tylko raz.
Na gruncie naiwnej (nieaksjomatycznej) teorii mnogości stwierdza się, że liczba kardynalna to klasa równoważności relacji równoliczności zbiorów. Wówczas moc zbioru to liczba kardynalna, która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest trochę złożona, bo tak zdefiniowane liczby kardynalne nie byłyby zbiorami, a klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na użycie klas, nie moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, należy więc ograniczać się do „fragmentów początkowych” klas równoważności i pokonać szereg technicznych komplikacji.
Z tego powodu na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne w nieco odmienny sposób: liczba kardynalna to tzw. początkowa liczba porządkowa, czyli taka liczba porządkowa, która nie jest równoliczna z żadną liczbą porządkową od niej mniejszą (równoważnie: liczba porządkowa, która nie jest równoliczna z żadnym swoim elementem). Przy założeniu AC każdy zbiór jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.
Działaniami na liczbach kardynalnych zajmuje się arytmetyka liczb kardynalnych.
Liczby kardynalne i opisane dalej liczby porządkowe nie tworzą w ogóle zbiorów. Założenie, że można utworzyć zbiór liczb kardynalnych lub porządkowych, prowadzi do sprzeczności.

## Liczby porządkowe
Kolejnym rozszerzeniem liczb naturalnych (a także kardynalnych) są tzw. liczby porządkowe. Liczby naturalne są używane do kolejnego numerowania elementów skończonych zbiorów, np. pierwsze jabłko, drugie itp. Georg Cantor uogólnił tak stosowane pojęcie liczb naturalnych na numerowanie elementów zbiorów o mocach większych od mocy zbioru liczb naturalnych.
Niech {\displaystyle (M,\leqslant _{1})} i {\displaystyle (N,\leqslant _{2})} będą zbiorami uporządkowanymi. Powiemy, że odwzorowanie {\displaystyle f\colon M\to N} jest izomorfizmem porządków, jeśli
{\displaystyle f} jest bijektywne oraz
{\displaystyle \forall _{x,y\in M}\left(x\leqslant _{1}y\Leftrightarrow f(x)\leqslant _{2}f(y)\right)} (tzn. {\displaystyle f} oraz {\displaystyle f^{-1}} są monotoniczne).
Jeśli istnieje izomorfizm porządkowy z {\displaystyle M} na {\displaystyle N,} to powiemy, że te porządki są izomorficzne. Izomorficzne zbiory uporządkowane są nierozróżnialne na gruncie teorii porządku. Są też zawsze równoliczne.
W początkach rozwoju teorii mnogości liczby porządkowe były definiowane jako klasy równoważności izomorfizmu zbiorów dobrze uporządkowanych. Podejście to było dość intuicyjne, jednak prowadzi ono do technicznych trudności przy formalizacji na gruncie ZF. Dlatego też współcześnie przyjmujemy definicję liczb porządkowych podaną przez Johna von Neumanna:
liczba porządkowa to zbiór α taki, że
(i) każdy element {\displaystyle \beta \in \alpha } jest podzbiorem α (tzn. {\displaystyle (\forall \beta \in \alpha )(\beta \subseteq \alpha )}), oraz
(ii) każde dwa elementy zbioru {\displaystyle \alpha } są porównywalne w relacji inkluzji (tzn. {\displaystyle (\forall \beta ,\gamma \in \alpha )(\beta \subseteq \gamma \ \vee \ \gamma \subseteq \beta )}).
Równoważnie – liczba porządkowa to taki zbiór α, który spełnia warunek (i) sformułowany powyżej i jest dobrze uporządkowany przez relację należenia (tzn. {\displaystyle (\alpha ,\in )} jest dobrym porządkiem).
Każdy dobry porządek jest izomorficzny z pewną liczbą porządkową von Neumanna (na grunie ZF), więc można o tych liczbach myśleć jako o reprezentantach klas abstrakcji izomorfizmu dobrych porządków.
Liczby porządkowe nie tworzą zbioru, lecz klasę właściwą. Działaniami na liczbach porządkowych zajmuje się arytmetyka liczb porządkowych.

## Liczby hiperrzeczywiste
Liczby hiperrzeczywiste (ang. hyperreal numbers) {\displaystyle ^{*}\mathbb {R} } są ciałem zawierającym w sobie liczby rzeczywiste, liczby nieskończone oraz infinitezymalne (większe od zera, ale mniejsze od każdej rzeczywistej liczby dodatniej).

### Aksjomatyka liczb hiperrzeczywistych
Aksjomaty Keislera:
1. {\displaystyle \mathbb {R} } jest ciałem uporządkowanym liczb rzeczywistych
2. {\displaystyle ^{*}\mathbb {R} } jest uporządkowanym nadciałem {\displaystyle \mathbb {R} }
3. (Aksjomat funkcji) Dla każdej funkcji {\displaystyle f} o {\displaystyle n} argumentach rzeczywistych istnieje odpowiadająca jej funkcja {\displaystyle ^{*}f} o {\displaystyle n} argumentach hiperrzeczywistych, przy czym dowolne działania na argumentach {\displaystyle f} prowadzą do tego samego wyniku, co analogiczne działania na argumentach {\displaystyle ^{*}f.}
4. (Aksjomat rozwiązania) Jeśli jakiś układ równań i nierówności ma rozwiązanie rzeczywiste, ma także odpowiadające mu rozwiązanie hiperrzeczywiste.
5. Jeśli {\displaystyle S} jest zbiorem równań i nierówności, złożonym z funkcji, stałych hiperrzeczywistych i zmiennych, takim, że {\displaystyle S} ma mniejszą moc zbioru niż {\displaystyle ^{*}\mathbb {R} ,} i każdy skończony podzbiór {\displaystyle S} ma rozwiązanie w liczbach hiperrzeczywistych, to {\displaystyle S} ma rozwiązanie w liczbach hiperrzeczywistych.

Zachodzi tu następujące twierdzenie Keislera: istnieje jedna i tylko jedna (z dokładnością do izomorfizmu) struktura algebraiczna taka, że aksjomaty te są spełnione. Strukturę tę nazywamy algebrą liczb hiperrzeczywistych.

### Konstrukcja liczb hiperrzeczywistych
Liczby hiperrzeczywiste można skonstruować jako nieskończone ciągi liczb rzeczywistych {\displaystyle (a_{0},a_{1},\dots )}. Liczba rzeczywista zostaje utożsamiona z ciągiem stałym i tym samym liczby hiperrzeczywiste obejmują wszystkie liczby rzeczywiste.
Dodawanie jest zdefiniowane jako sumowanie kolejnych wyrazów ciągów:
{\displaystyle (a_{0},a_{1},a_{2},\dots )+(b_{0},b_{1},b_{2},\dots )=(a_{0}+b_{0},a_{1}+b_{1},a_{2}+b_{2},\dots )}
Podobnie mnożenie:
{\displaystyle (a_{0},a_{1},a_{2},\dots )\cdot (b_{0},b_{1},b_{2},\dots )=(a_{0}\cdot b_{0},a_{1}\cdot b_{1},a_{2}\cdot b_{2},\dots )}
Wprowadzenie porządku nie jest już tak proste i wymaga zdefiniowania pojęcia ultrafiltru.
Ultrafiltr {\displaystyle U} to rodzina podzbiorów danego zbioru {\displaystyle X,} spełniająca następujące warunki:
1. {\displaystyle \varnothing \notin U}
2. {\displaystyle A,B\in U\Rightarrow A\cap B\in U}
3. {\displaystyle A\in U\wedge A\subseteq B\subseteq X\Rightarrow B\in U}
4. {\displaystyle A\subset X\Rightarrow A\in U\vee X\setminus A\in U}

Niech {\displaystyle U_{\mathbb {N} }} będzie niegłównym ultrafiltrem na zbiorze liczb naturalnych z zerem.
Wówczas {\displaystyle (a_{0},a_{1},a_{2},\dots )\leqslant (b_{0},b_{1},b_{2},\dots )\iff \{i\colon a_{i}\leqslant b_{i}\}\in U_{\mathbb {N} }}
Dwie liczby hiperrzeczywiste {\displaystyle a} i {\displaystyle b} są sobie równe, jeśli {\displaystyle a\leqslant b} i {\displaystyle b\leqslant a.}
Z aksjomatu wyboru wynika, że istnieje nieskończenie wiele ultrafiltrów dla liczb naturalnych. Nie ma znaczenia, który wybierzemy, jeśli tylko będziemy się konsekwentnie tego trzymać, otrzymane algebry liczb hiperrzeczywistych będą izomorficzne.

## Liczby nadrzeczywiste
Liczby nadrzeczywiste (ang. surreal numbers) są klasą obiektów, spełniającą aksjomaty ciała, która zawiera w sobie zarówno liczby rzeczywiste, hiperrzeczywiste, jak i porządkowe. Tak jak liczby hiperrzeczywiste klasa ta zawiera również wielkości nieskończone oraz nieskończenie małe (infinitezymalne). Klasa liczb nadrzeczywistych oryginalnie została oznaczona No, jednak ze względu na podobieństwo do oznaczenia liczb naturalnych z zerem {\displaystyle \mathbb {N} _{0}} poniżej użyty został symbol {\displaystyle F.}

### Aksjomatyka liczb nadrzeczywistych
Trójka {\displaystyle (F,\;<,\;b)} jest systemem liczb nadrzeczywistych, jeśli:
- {\displaystyle <} jest porządkiem liniowym w {\displaystyle F}
- {\displaystyle b} (tzw. funkcja urodzinowa) jest funkcją określoną w {\displaystyle F,} o wartościach będących liczbami porządkowymi.
- Niech {\displaystyle A} i {\displaystyle B} będących podzbiorami {\displaystyle F} takimi, że {\displaystyle \bigwedge _{x\in A}\bigwedge _{y\in B}x<y.}

Wówczas istnieje {\displaystyle z\in F,} takie że:
{\displaystyle \bigwedge _{x\in A}\bigwedge _{y\in B}x<z<y}
i jeśli liczba porządkowa {\displaystyle a} jest większa od każdego {\displaystyle b(u)} dla {\displaystyle u\in A\cup B,} to {\displaystyle b(z)\leqslant a.}
Funkcja urodzinowa reprezentuje w pewnym sensie kolejne generacje liczb nadrzeczywistych.

### Konstrukcja liczb nadrzeczywistych
Ich konstrukcja oparta jest na uogólnieniu idei przekrojów Dedekinda, zastosowanej przy konstrukcji liczb rzeczywistych.
Klasa liczb nadrzeczywistych wraz z porządkiem liniowym i funkcją urodzinową jest tworzona etapami, metodą indukcji pozaskończonej.
1. W każdym etapie tworzone liczby nadrzeczywiste są parami zbiorów {\displaystyle (L,R)} liczb nadrzeczywistych utworzonych wcześniej, przy czym żadna liczba należąca do {\displaystyle L} nie jest większa lub równa żadnej liczbie należącej do {\displaystyle R,} a wartość funkcji urodzinowej liczby {\displaystyle (L,R)} jest większa od wartości funkcji urodzinowej dla każdej liczby w {\displaystyle L} i {\displaystyle R.}
2. Jeśli {\displaystyle x=(X_{L},X_{R})} i {\displaystyle y=(Y_{L},Y_{R})} reprezentują liczby nadrzeczywiste, to {\displaystyle x\leqslant y} wtedy i tylko wtedy, gdy
{\displaystyle \bigwedge _{x\in X_{L}}\bigwedge _{y\in Y_{L}}x\leqslant y}
oraz
{\displaystyle \bigwedge _{x\in X_{R}}\bigwedge _{y\in Y_{R}}x\leqslant y}
Definicja ta odwołuje się do porządku ustalonego we wcześniejszych krokach indukcji
3. Dwie liczby nadrzeczywiste {\displaystyle x} i {\displaystyle y} są równe, jeśli {\displaystyle x\leqslant y\leqslant x.}
4. Indukcję rozpoczynamy od pary {\displaystyle (\emptyset ,\emptyset )} utożsamianej z liczbą naturalną 0.
5. W danym kroku indukcji do liczb nadrzeczywistych dołączamy wszystkie liczby możliwe do utworzenia w sposób opisany w punkcie 1.

Para {\displaystyle (L,R)} reprezentuje liczbę nadrzeczywistą większą od każdej liczby w {\displaystyle L} i mniejszą od każdej liczby w {\displaystyle R.}
Działania arytmetyczne
Dodawanie jest w tej konstrukcji zdefiniowane następująco:
{\displaystyle x+y=(\{X_{L}+y\cup x+Y_{L}\},\{X_{R}+y\cup x+Y_{R}\}),}
gdzie:
{\displaystyle X+y=\{x+y:x\in X\}}
oraz
{\displaystyle x+Y=\{x+y:y\in Y\}}
Negacja liczby:
{\displaystyle -x=(\{-X_{R}\},\{-X_{L}\}),}
gdzie {\displaystyle -X=\{-x:x\in X\}}
Mnożenie:
{\displaystyle {\begin{aligned}xy=(&\{(X_{L}y+xY_{L}-X_{L}Y_{L})\cup (X_{R}y+xY_{R}-X_{R}Y_{R})\},\\&\{(X_{L}y+xY_{R}-X_{L}Y_{R})\cup (X_{R}y+xY_{L}-X_{R}Y_{L})\}),\end{aligned}}}
gdzie:
{\displaystyle XY=\{xy:x\in X\wedge y\in Y\},} oraz
{\displaystyle Xy=X\{y\}} i {\displaystyle xY=\{x\}Y.}

### Niektóre podklasy liczb nadrzeczywistych
- Liczby rzeczywiste. Przykładowo:

{\displaystyle \pi =\left(\left\{3,{\frac {25}{8}},{\frac {201}{64}},\dots \right\},\left\{\dots ,{\frac {101}{32}},{\frac {51}{16}},{\frac {13}{4}},{\frac {7}{2}},4\right\}\right)}
- Liczby porządkowe.
- Liczby infinitezymalne, większe od zera, ale mniejsze od dowolnej liczby dodatniej, np.

{\displaystyle \varepsilon =\left(\{0\},\left\{\dots ,{\frac {1}{16}},{\frac {1}{8}},{\frac {1}{4}},{\frac {1}{2}},1\right\}\right)}

title: Aksjomaty i konstrukcje liczb

wikitext:
[[Plik:Liczby.svg|thumb|270px|[[Diagram Hassego]] przedstawiający zawieranie się zbiorów i ogólniej – klas liczbowych w sobie. Symbol <math>\mathbb{X}\subset \mathbb{Y}</math> oznacza tu, że można skonstruować [[Klasa (matematyka)|klasę]] liczb <math>\mathbb{X}</math> tak, aby była podklasą klasy <math>\mathbb{Y}.</math> Zbiory umieszczone na rysunku powyżej liczb zespolonych noszą wspólną nazwę [[Liczby hiperzespolone|liczb hiperzespolonych]]. Na niebiesko oznaczone są rodzaje liczb które nie tworzą zbiorów, lecz klasy właściwe. Liczby algebraiczne całkowite nie są szczególnym przypadkiem liczb algebraicznych rzeczywistych – to nie jest pomyłka. Zobacz sekcję [[#Liczby algebraiczne|Liczby algebraiczne]]]]
'''Aksjomaty i konstrukcje liczb''' – metody ścisłego [[Definiowanie|definiowania]] [[Liczba|liczb]] używane w matematyce. [[Aksjomat]]y liczb to warunki, jakie muszą spełniać pewne obiekty oraz działania na nich, aby mogły być uznane za liczby danego rodzaju (np. [[liczby naturalne]], [[liczby wymierne]] itp.). [[Struktura matematyczna|Konstrukcje]] liczb są [[Algebra ogólna|algebrami]], tak utworzonymi, aby spełniały właściwe danym liczbom aksjomaty.

Nie ma jednej uniwersalnej cechy odróżniającej wszystkie liczby od elementów algebr<ref group="uwaga">Pod pojęciem „algebry” rozumiemy w tym artykule [[Algebra ogólna|struktury algebraiczne]], czyli inaczej [[Algebra ogólna|algebry ogólne]]. Algebry liczb czasem nazywane są też „systemami liczb”, co może jednak prowadzić do zamieszania, ze względu na podobny, lecz znaczący co innego termin [[System liczbowy|systemy liczbowe]].</ref>, które tak nie są nazywane. Matematycy nie definiują „liczb”, definiują „[[liczby naturalne]]”, „[[liczby całkowite]]”, „[[liczby rzeczywiste]]” itp.<ref group="uwaga">Wszystkie rodzaje liczb tworzące algebry zawierają w sobie liczby naturalne (zobacz rysunek). Jednak nie wszystkie algebry zawierające w sobie liczby naturalne są uważane za algebry liczbowe, np. [[macierz]]y zwykle nie nazywa się liczbami.
Niektórzy idą jednak w tym kierunku i uznają dowolne [[Algebra liniowa|algebry liniowe]] za algebry liczbowe. Wówczas problem oprócz macierzy i [[tensor]]ów (które według tej definicji są liczbami) stanowią liczby kardynalne i porządkowe, które algebr liniowych nie tworzą.
Jeszcze inną czasem stosowaną definicją liczby jest określenie jej jako elementu pewnego [[Ciało (matematyka)|ciała]]. Ta definicja nie obejmuje jednak niektórych obiektów tradycyjnie zaliczanych do liczb (choćby wszystkich [[Liczby hiperzespolone|liczb hiperzespolonych]], np. kwaternionów i oktonionów), obejmuje natomiast obiekty niebędące liczbami, np. abstrakcyjne ciała rozkładu wielomianów.</ref>

O ile jednak nazwanie danego obiektu liczbą jest podyktowane bardziej tradycją niż ogólną definicją, to poszczególne rodzaje liczb są już ściśle określane. Definicje liczb stanowią pewną sekwencję (bardziej złożone algebry opierają się na prostszych), którą prezentuje niniejszy artykuł.

== Metody definiowania liczb ==
Liczby mogą być definiowane na trzy sposoby:
* przez podanie '''[[aksjomat]]ów''', czyli właściwości, jakie muszą spełniać działania w pewnym zbiorze (klasie), aby [[Algebra ogólna|struktura]] złożona z tego zbioru oraz działań mogła zostać uznana za algebrę liczbową.
* przez stworzenie '''konstrukcji''', czyli bezpośrednie utworzenie jakichś obiektów i nazwanie ich liczbami (jeśli dany rodzaj liczb posiada własną aksjomatykę, taka konstrukcja musi być [[Struktura matematyczna|modelem]] tej aksjomatyki, czyli wszystkie aksjomaty muszą być dla niej spełnione).
* przez wydzielenie [[Podzbiór|podzbioru]] spełniającego dany warunek z osobno zdefiniowanego szerszego zbioru liczb – jest to w zasadzie szczególny przypadek zarówno aksjomatyki, jak i konstrukcji.

Wśród mnogości pojęć mających w nazwie słowo „liczba” można wyróżnić:
* zbiory liczb tworzące nietrywialną [[Algebra ogólna|algebrę]] – [[dodawanie]] i [[mnożenie]] dowolnych dwóch liczb z takiego zbioru jest [[Działanie algebraiczne|działaniem wewnętrznym]], czyli zawsze daje wyniki z tego zbioru. Należą do tej grupy wszystkie (z wyjątkiem [[Liczby przestępne|liczb przestępnych]], przestępnych rzeczywistych i niewymiernych) rodzaje liczb pokazane na ilustracji z początku artykułu. Liczby te są definiowane za pomocą aksjomatów opisujących własności działań na nich, lub za pomocą konstrukcji. Jeśli jakieś zbiory liczbowe tworzą algebrę i zawierają podzbiór również tworzący algebrę, to działania na liczbach z tego podzbioru muszą dawać w obydwu algebrach identyczne wyniki. W ten sposób każda kolejna algebra liczbowa rozszerza poprzednią.
* podzbiory zbiorów liczbowych nietworzące niezależnych algebr – są to zbiory liczb, wyróżnione ze względu na jakąś szczególną własność, np. [[liczby pierwsze]], będące liczbami naturalnymi dzielącymi się tylko przez 1 i przez siebie. Są one definiowane przez podanie warunku, jaki muszą spełniać liczby z pewnej algebry.
* liczby nie tworzące zbiorów, lecz [[Klasa (matematyka)|klasy]]. Do tej grupy wchodzą [[Moc zbioru|liczby kardynalne]], [[liczby porządkowe]] i [[#Liczby nadrzeczywiste|liczby nadrzeczywiste]]. Okazuje się, że próba stworzenia zbioru tych liczb prowadzi do sprzeczności, można jedynie grupować je w tzw. klasy. Można dla nich również zdefiniować [[działania arytmetyczne]] i w pewnym sensie one także stanowią rozszerzenie algebry liczb naturalnych. Liczby kardynalne i porządkowe są definiowane wyłącznie przez konstrukcję.

Zbiory liczbowe tworzące algebrę są zawsze definiowane razem z podstawowymi działaniami na nich – dodawaniem i mnożeniem<ref group="uwaga">Bezpośrednio lub przez zdefiniowanie działania następnika, z którego wynika dodawanie i mnożenie.</ref>. Dopiero określenie zbioru wraz z działaniami, czyli tzw. '''[[Algebra ogólna|struktury algebraicznej]]''', stanowi dostateczną definicję. Nie wystarcza tu skonstruowanie samego zbioru, gdyż określając odpowiednio działania, można sprawić, że np. zbiór liczb wymiernych będzie nieodróżnialny ([[Izomorfizm|izomorficzny]]) od zbioru liczb naturalnych<ref group="uwaga">Wystarczy przypisać każdej liczbie wymiernej inną liczbę naturalną, np. tak:
: <math>f(0)=1</math>
: <math>\frac{a}{b}>0 \Rightarrow f\left( \frac{a}{b} \right) =2^{|a|} 3^{|b|}</math>
: <math>\frac{a}{b}<0 \Rightarrow f\left( \frac{a}{b} \right) =5^{|a|} 7^{|b|}</math> – zakładając, że <math>\frac{a}{b}</math> jest ułamkiem skróconym, tzn. liczby <math>a</math> i <math>b</math> nie jaką wspólnych dodatnich dzielników oprócz jedynki, a następnie zdefiniować następnik liczby wymiernej <math>q</math> jako:
: <math>S(q) = x : f(x) = \min\{f(r) : f(r) > f(q)\}</math>

Zbiór liczb wymiernych spełnia wówczas [[#Aksjomatyka Peana|aksjomaty Peana]] liczb naturalnych.</ref>.

=== Izomorfizm konstrukcji ===
Dowolny zbiór, w którym zdefiniowane działania spełniają aksjomaty właściwe dla danej algebry liczbowej, czyli tzw. [[Struktura matematyczna|model]] jej aksjomatyki, można nazwać zbiorem liczb. Posiada on bowiem wówczas wszystkie właściwości, jakich oczekujemy po danym zbiorze liczbowym. Model aksjomatyki liczb nazywamy '''konstrukcją liczb'''.

Ponieważ dany zestaw aksjomatów może mieć wiele różnych modeli, liczby można skonstruować na wiele sposobów. Metody te są równoważne w tym sensie, że wszelkie twierdzenia udowodnione na liczbach skonstruowanych według jednej metody dają się bez zmian przenosić na inne konstrukcje (zachodzi tzw. [[izomorfizm]]). W praktyce więc nie ma, poza domeną [[Teoria mnogości|teorii mnogości]] i logiki, potrzeby ich odróżniania.

Na ogół zaczyna się konstrukcję od liczb naturalnych, następnie buduje się na ich podstawie liczby całkowite, na bazie których z kolei konstruuje się liczby wymierne, potem rzeczywiste i zespolone<ref group="uwaga">I ewentualnie dalej – kwaterniony, oktawy Cayleya, sedeniony.</ref>. W każdym z tych zbiorów są [[Podzbiór|podzbiory]], które przy tej samej definicji działań spełniają aksjomaty liczb zdefiniowanych wcześniej.

Przykładowo liczby wymierne mogą być skonstruowane jako zbiory par liczb całkowitych z odpowiednio zdefiniowanym dodawaniem i mnożeniem. Wydawałoby się, że liczba całkowita zbiorem par liczb całkowitych być nie może, a więc liczby całkowite nie są szczególnym przypadkiem liczb wymiernych. Ponieważ jednak podzbiór liczb wymiernych odpowiadający ułamkom a/1 ze zwykłym dodawaniem i mnożeniem także spełnia aksjomaty liczb całkowitych, ostatecznie możemy więc stwierdzić, że liczby całkowite są jednak szczególnym przypadkiem wymiernych, a ich zbiór zawiera się w zbiorze liczb wymiernych. Podobnie jest przy konstruowaniu kolejnych zbiorów liczbowych.

Można też wykonać konstrukcję od drugiej strony i najpierw skonstruować jakąś dostatecznie szeroką strukturę, np. [[#liczby zespolone|liczby zespolone]], a następnie zdefiniować pozostałe zbiory jako jej podzbiory z tymi samymi działaniami dodawania i mnożenia.

== Liczby naturalne ==
{{osobny artykuł|liczby naturalne}}

=== Aksjomatyka Peana ===
Na początek załóżmy, że istnieje liczba '''1''' (cokolwiek by ten symbol miał oznaczać). Chcielibyśmy także dla każdej liczby <math>a</math> móc pokazać jej tzw. następnik (oznaczymy go <math>S(a)</math>). Musimy zatem zagwarantować istnienie następnika liczby '''1''' (który oznaczymy '''2'''), a także następników kolejnych następników. Następnik liczby '''2''' oznaczymy '''3''' itd. Jeśli dodatkowo założymy, że '''1''' nie jest następnikiem żadnej liczby i odpowiednio zdefiniujemy dodawanie i mnożenie, to tak skonstruowany zbiór możemy nazwać zbiorem liczb naturalnych.

Proces konstrukcji kolejnych elementów zbioru wygląda następująco:
: <math>1\mapsto S(1)\mapsto S(S(1))\mapsto S(S(S(1)))\mapsto\ldots</math>

Ściślej rzecz biorąc, zbiór liczb naturalnych jest definiowany przez '''aksjomaty Peana'''<ref group="uwaga">Aksjomatyka ta została wprowadzona przez [[Giuseppe Peano|Giuseppe Peana]] w wydanej po łacinie pracy ''Arithmetices principia, nova methodo exposita'' (''Podstawy arytmetyki, zaprezentowane w nowy sposób'') w roku 1889. W oryginalnej pracy Peano wprowadził więcej aksjomatów – oprócz wymienionych pięciu były dodatkowo podane cztery aksjomaty opisujące [[Równość (matematyka)|równość]] dwóch liczb naturalnych. Obecnie uważa się je za fundamentalne właściwości równości i wprowadza na poziomie logiki matematycznej, identycznie dla wszelkich obiektów matematycznych, nie tylko liczb naturalnych.</ref>.

{| class="wikitable"
|-
!width=2%|
!width=98%| Aksjomatyka Peana<ref group=uwaga>W literaturze przeważa forma dopełniacza „(aksjomaty) Peano”, co jest niezgodne z polskimi zasadami odmiany nazwisk.</ref>
|-
| 1.
| '''J''' jest liczbą naturalną.
|-
| 2.
| Dla każdej liczby naturalnej istnieje dokładnie jedna liczba naturalna, zwana jej '''następnikiem'''.
|-
| 3.
| '''J''' nie jest następnikiem żadnej liczby naturalnej.
|-
| 4.
| Jeśli dwie liczby naturalne mają równe następniki, to są sobie równe.
|-
| 5.
| '''[[Aksjomat indukcji]]''':
: Niech dany będzie zbiór, którego elementami są liczby naturalne o następujących własnościach:
:: a. '''J''' jest elementem tego zbioru
:: b. Wraz z każdą liczbą naturalną należącą do tego zbioru należy do niego także jej następnik.
Wówczas zbiór ten zawiera wszystkie liczby naturalne.
|}

Niektórzy matematycy zaliczają zero do liczb naturalnych, inni nie. Jest to wyłącznie kwestia nazewnictwa. Zarówno zbiór liczb naturalnych z zerem, jak i bez niego ma powyższe własności. W tym pierwszym przypadku '''J''' oznacza '''0''', w tym drugim '''1'''.

Do pełnego określenia liczb naturalnych brakuje definicji działań i porządku. Definicje te zależą już od tego, czy liczby naturalne zaczniemy od zera, czy nie.

Dla liczb z zerem dodawanie, mnożenie i [[Relacja (matematyka)|relację]] [[Porządek liniowy|porządku]] wprowadzamy przez aksjomaty:

{| class="wikitable"
|-
!width=30%| Pojęcie
!width=70%| Aksjomaty
|-
| Dodawanie
| 6. <math>a+0=a</math>
7. <math>a+S(b)=S(a+b)</math>
|-
| Mnożenie
| 8. <math>a \cdot 0 = 0</math>
9. <math>a \cdot S(b) = a \cdot b + a</math>
|-
| Porządek liniowy
| 10. <math>a\leqslant b</math>
istnieje takie naturalne <math>k,</math> że <math>a+k=b</math>
|}

Podstawiając do równania 9 wartość: <math>b=0,</math> uzyskujemy <math>a\cdot S(0)=a,</math> skąd wynika, że <math>S(0)</math> jest [[Element neutralny|elementem neutralnym]] mnożenia.

Zwykle przywykliśmy do zapisywania tej liczby jako 1, stąd można napisać: <math>1=S(0).</math>

Podstawiając do równania 7: <math>b=0,</math> uzyskujemy: <math>a+S(0)=S(a),</math> czyli: <math>a+1=S(a).</math>

Odstępy pomiędzy każdą liczbą a jej następnikiem są identyczne i równe 1.

Stąd: <math>2=S(1), 3=S(2), \dots</math>

Dla liczb naturalnych bez zera dodawanie, mnożenie i [[Relacja (matematyka)|relację]] [[Porządek liniowy|porządku]] wprowadzamy przez aksjomaty:

{| class="wikitable"
|-
!width=30%| Pojęcie
!width=70%| Aksjomaty
|-
| Dodawanie
| 6. <math>a+1=S(a)</math>
7. <math>a+S(b)=S(a+b)</math>
|-
| Mnożenie
| 8. <math>a \cdot 1 = a</math>
9. <math>a \cdot S(b) = a \cdot b + a</math>
|-
| Porządek liniowy
| 10. <math>a\leqslant b</math>
istnieje takie naturalne <math>k,</math> że <math>a+k=b</math> lub <math>a=b</math>
|}

=== Inne aksjomatyki ===
Aksjomat indukcji jest najbardziej problematycznym z aksjomatów Peana. Sprawia on, że aksjomatyka liczb naturalnych nie jest wyrażona w [[Rachunek predykatów pierwszego rzędu|języku pierwszego rzędu]], ale za to (jak wykazał [[Richard Dedekind]]) jest ona kategoryczna, czyli każde dwa modele spełniające te aksjomaty są izomorficzne.

Ponieważ w [[Logika matematyczna|logice]] głównym narzędziem są [[Rachunek predykatów pierwszego rzędu|języki pierwszego rzędu]], matematycy rozważają [[Arytmetyka Peana|arytmetykę Peana]] (oznaczaną przez '''PA''' od angielskiego ''Peano arithmetic''). Jest to teoria w języku pierwszego rzędu, która powstaje przez zastąpienie aksjomatu indukcji schematem (nieskończoną listą) aksjomatów pierwszego rzędu. Teoria '''PA''' jest znacznie słabsza niż aksjomatyzacja Peana, w szczególności nie jest kategoryczna i ma wiele nieizomorficznych modeli.

Z [[Twierdzenia Gödla|twierdzenia Gödla o niezupełności]] wynika, że dowolna „porządnie opisywalna” aksjomatyka liczb naturalnych w języku pierwszego rzędu jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie [[Zdanie logiczne|zdania]], które choć prawdziwe w obrębie danej konstrukcji, nie dają się wyprowadzić z aksjomatów. [[Arytmetyka|Arytmetyki]] Peana '''PA''' nie da się uzupełnić skończoną liczbą aksjomatów, tak aby prawdziwość każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia [[Teoria liczb|teorii liczb]] (np. [[twierdzenie Goodsteina]]), których nie można udowodnić ani obalić na gruncie '''PA''' (choć wynikają one z aksjomatów Peana).

Inną aksjomatyką jest podejście [[Richard Kaye|Kaye]] (1991). Kaye nie definiuje aksjomatu indukcji, uznając go za część [[metajęzyk]]a. Kaye zakłada w nim, że zero należy do liczb naturalnych i definiuje od razu dodawanie, mnożenie i relację porządku:

{| class="wikitable"
|-
!width="10%"|
!width="90%"| Aksjomatyka Kaye
|-
| 1.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} (x+y)+z = x+(y+z)</math>
|-
| 2.
| <math>\bigwedge_{x,y\in\mathbb{N}} x+y=y+x</math>
|-
| 3.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} (x\cdot y) \cdot z = x \cdot (y \cdot z)</math>
|-
| 4.
| <math>\bigwedge_{x,y\in\mathbb{N}} x\cdot y = y \cdot x</math>
|-
| 5.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} x \cdot (y + z) = x \cdot y + x \cdot z</math>
|-
| 6.
| <math>\bigwedge_{x\in\mathbb{N}} (x + 0 = x \land x \cdot 0 = 0)</math>
|-
| 7.
| <math>\bigwedge_{x\in\mathbb{N}} x \cdot 1 = x</math>
|-
| 8.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} ((x < y \land y < z) \Rightarrow x < z)</math>
|-
| 9.
| <math>\bigwedge_{x\in\mathbb{N}} \lnot (x < x)</math>
|-
| 10.
| <math>\bigwedge_{x,y\in\mathbb{N}} (x < y \lor x = y \lor x > y)</math>
|-
| 11.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} (x < y \Rightarrow x + z < y + z)</math>
|-
| 12.
| <math>\bigwedge_{x,y,z\in\mathbb{N}} (0 < z \land x < y \Rightarrow x \cdot z < y \cdot z)</math>
|-
| 13.
| <math>\bigwedge_{x,y\in\mathbb{N}} (x < y \Rightarrow \bigvee_{z\in\mathbb{N}} x + z = y)</math>
|-
| 14.
| <math>0 < 1 \land \bigwedge_{x\in\mathbb{N}} (x > 0 \Rightarrow x \geqslant 1)</math>
|-
| 15.
| <math>\bigwedge_{x\in\mathbb{N}} x \geqslant 0</math>
|}

Istnieją też systemy aksjomatycznej [[Teoria mnogości|teorii mnogości]] równoważne arytmetyce Peana<ref>Zob. w bibliografii Tarski, Givant 1987.</ref>.

=== Konstrukcja Fregego i Russella ===
Pierwsza konstrukcja liczb naturalnych, autorstwa [[Gottlob Frege|Gottloba Fregego]] i niezależnie [[Bertrand Russell|Bertranda Russella]]<ref>Russell ogłosił ją w swojej ''Principia Mathematica''.</ref>, definiuje je po prostu jako liczności (ściślej: [[Moc zbioru|moce]]) zbiorów skończonych. Relacja „dwa zbiory są równoliczne” pozwala na uporządkowanie zbiorów skończonych w klasy zbiorów o tej samej liczności<ref group="uwaga">Nieskończone zbiory również można podzielić na takie klasy – są to tzw. liczby kardynalne.</ref>. Etykiety przypisane tym klasom nazywamy liczbami naturalnymi<ref group="uwaga">Etykiety, a nie same klasy, gdyż wówczas liczby naturalne nie tworzyłyby zbioru, lecz klasę właściwą.</ref>.

=== Konstrukcja von Neumanna ===
W [[Teoria mnogości|teorii mnogości]] liczby naturalne konstruuje się w sposób zaproponowany przez [[John von Neumann|Johna von Neumanna]]. W tym przypadku [[zbiór pusty]] utożsamiamy z ''zerem'', następnik zera – liczbę ''jeden'' – utożsamiamy ze zbiorem złożonym z zera (zbioru pustego) i ogólniej następnik każdej liczby jest zbiorem, którego elementami są wszystkie poprzednie liczby.
:: <math>0=\varnothing,</math>
:: <math>1=\{0\}=\{\varnothing\},</math>
:: <math>2=\{0,1\}=\{\varnothing,\{\varnothing\}\},</math>
:: <math>3=\{0,1,2\}=\{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\},</math>
::: <math>\vdots</math>
Jeśli przez <math>\mathbb{N}</math> oznaczać zbiór liczb naturalnych, wówczas:
:: <math>\mathbb{N}=\{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\},\{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\},\dots\}=\{0,1,2,3,\dots\}.</math>
W teorii mnogości zbiór liczb naturalnych oznacza się też przez <math>\omega</math> (por. [[Liczby porządkowe|liczba porządkowa]]).

=== Niektóre podzbiory liczb naturalnych ===
* '''[[liczby pierwsze]]''' – liczby naturalne <math>x</math> większe od 1, których dzielnikami naturalnymi są tylko 1 oraz <math>x.</math>
* '''[[liczby Fermata]]''' – liczby naturalne postaci <math>F_n=2^{2^n}+1,</math> gdzie <math>n</math> jest liczbą naturalną
* '''[[liczby Mersenne’a]]''' – liczby określone wzorem <math>2^p - 1</math> gdzie p jest liczbą pierwszą
* '''[[liczby półpierwsze]]''' – posiadające dokładnie dwa dzielniki pierwsze
* '''[[Ciąg Fibonacciego|liczby Fibonacciego]]''' – wyrazy [[Ciąg Fibonacciego|ciągu Fibonacciego]]
* '''[[liczby doskonałe]]''' – liczby naturalne, które są sumą wszystkich swych [[dzielnik]]ów właściwych.

== Liczby całkowite ==
{{osobny artykuł|liczby całkowite}}

=== Aksjomatyka liczb całkowitych ===
Aksjomaty liczb całkowitych tworzy się, modyfikując aksjomatykę Peana przez wprowadzenie obok następnika, operacji poprzednika<ref name="atlas">{{odn|ref=nie|Reinhardt|Soeder|2003|s=73}}.</ref>.
{| class="wikitable"
|-
!width=5%|
!width=95%| Aksjomatyka liczb całkowitych
|-
| 1.
| Istnieje liczba całkowita '''0'''.
|-
| 2.
| Dla każdej liczby całkowitej <math>x</math> istnieje dokładnie jedna liczba całkowita <math>S(x),</math> zwana jej '''następnikiem'''.
|-
| 3.
| Dla każdej liczby całkowitej <math>x</math> istnieje liczba całkowita <math>P(x),</math> zwana jej '''poprzednikiem''', taka, że <math>S(P(x))=P(S(x))=x.</math>
|-
| 4.
| '''0''' jest różne od wszystkich jego kolejnych następników.
|-
| 5.
| '''Aksjomat indukcji dwustronnej''':
: Niech <math>M</math> będzie zbiorem takim, że:
:: a. M zawiera przynajmniej jedną liczbę całkowitą
:: b. dla każdej liczby całkowitej <math>x,</math> <math>x \in M \Rightarrow P(x), S(x) \in M</math>
: wtedy <math>M</math> zawiera wszystkie liczby całkowite.
|}

Istnieją inne aksjomatyki liczb całkowitych<ref>{{Cytuj |autor = Angelo Margaris |tytuł = Successor Axioms for the Integers |czasopismo = The American Mathematical Monthly |data = 1961 |wolumin = 68 |numer = 5 |s = 441–444 |doi = 10.2307/2311096 |jstor = 2311096}}</ref>.
{{Clear}}

=== Konstrukcja Grassmana liczb całkowitych ===
{|
|
Zbiór liczb całkowitych konstruujemy jako [[Relacja równoważności#Klasy abstrakcji|przestrzeń ilorazową]] [[Relacja równoważności|relacji równoważności]] <math>\sim</math> określonej na zbiorze par liczb naturalnych (z zerem, lub bez zera – nie ma to tutaj znaczenia), zdefiniowanej następująco:
: <math>(a,\;b)\sim (c,\;d)\Leftrightarrow a+d=b+c,</math> gdzie <math>a,\;b,\;c,\;d\in\mathbb{N}</math>

Nieściśle mówiąc, liczbę całkowitą można skonstruować jako zbiór wszystkich par liczb naturalnych, które dałyby ten sam wynik przy odejmowaniu.

; Przykłady:
* Liczba całkowita <math>2</math> to zbiór <math>\{(2,\;0),\;(3,\;1),\;(4,\;2),\;(5,\;3),\;\ldots\;\}</math> zawierający pary liczb naturalnych, których różnica wynosi 2.
* Liczba całkowita <math>-3</math> to zbiór <math>\{(0,\;3),\;(1,\;4),\;(2,\;5),\;(3,\;6),\;\ldots\;\}</math>
|[[Plik:Konstrukcja liczb całkowitych.svg|thumb|350px|Konstrukcja liczb całkowitych za pomocą liczb naturalnych. Każda liczba całkowita jest zbiorem par liczb naturalnych, które na diagramie są zaznaczone kółkami i leżą na jednej linii. Na rysunku założono, że zero należy do liczb naturalnych]]
|}

'''Definicje działań:'''
{| class="wikitable"
|-
!width=30%| Pojęcie
!width=70%| Definicja
|-
| Dodawanie
| <math>[(a,\; b)] + [(c,\; d)] = [(a+c,\; b+d)]</math>
|-
| Element neutralny dodawania
| <math>[(0,\; 0)]</math>
|-
| Element przeciwny
| <math>-[(a,\; b)]=[(b,\; a)]</math>
|-
| Mnożenie
| <math>[(a,\; b)] \cdot [(c,\; d)] = [(ac+bd,\;ad+bc)]</math>
|-
| Element neutralny mnożenia
| <math>[(1,\; 0)]</math>
|}

gdzie <math>[(a,\;b)]</math> oznacza [[Relacja równoważności#Klasy abstrakcji|klasę abstrakcji]] odpowiadającą <math>(a,\; b).</math>

Podzbiór liczb całkowitych dodatnich (czyli takich, że w należących do nich parach <math>(a,\;b),</math> <math>a>b</math>) lub ewentualnie nieujemnych (w analogiczny sposób <math>a \geqslant b</math>) z tak samo zdefiniowanymi działaniami spełnia aksjomaty Peana, a zatem jest kolejną konstrukcją liczb naturalnych. Można więc uznać tak skonstruowane liczby naturalne za podzbiór liczb całkowitych.

=== Niektóre podzbiory liczb całkowitych ===
* '''liczby naturalne'''
** definiowane jako '''liczby całkowite dodatnie''' – liczby całkowite większe od zera
** definiowane jako '''liczby całkowite nieujemne''' – liczby całkowite większe lub równe zeru
* '''liczby całkowite ujemne''' – liczby całkowite mniejsze od zera
* '''liczby całkowite niedodatnie''' – liczby całkowite mniejsze lub równe zeru

== Liczby wymierne ==
{{osobny artykuł|liczby wymierne}}

=== Aksjomatyka liczb wymiernych ===
Liczby wymierne, jako pierwszy z konstruowanych w tym artykule rodzajów liczb, pozwalają wykonywać bez przeszkód cztery podstawowe działania arytmetyczne: dodawanie, odejmowanie, mnożenie i dzielenie<ref group="uwaga">Z wyjątkiem dzielenia przez zero.</ref>. W języku algebry mówimy, że liczby wymierne tworzą [[Ciało (matematyka)|ciało]].

Ciało liczb wymiernych jest tzw. [[Charakterystyka (algebra)#Ciała|ciałem prostym]], tzn. nie posiada podzbiorów będących ciałami (oprócz samego siebie). Istnieją inne ciała proste – ciała <math>\mathbb{Z}_p</math> reszt z dzielenia przez [[liczby pierwsze]] <math>p.</math> Okazuje się jednak, że oprócz liczb wymiernych i ciał reszt innych ciał prostych nie ma<ref name="atlas" />.

Zostało to wykorzystane do zaksjomatyzowania zbioru liczb wymiernych <math>\mathbb{Q}{:}</math>
# <math>(\mathbb Q, +, \cdot, 0, 1)</math> jest [[Charakterystyka (algebra)#Ciała|ciałem prostym]].
# Ciało liczb wymiernych nie jest [[Izomorfizm|izomorficzne]] (równoważne) z ciałem reszt <math>\mathbb{Z}_p</math> dla żadnego <math>p</math>

Drugi warunek można równoważnie sformułować jako ''ciało liczb wymiernych nie jest [[Ciało skończone|skończone]]''.

Można udowodnić, że dowolny zbiór, spełniający te aksjomaty zawiera:
* podzbiór <math>N</math> spełniający aksjomaty liczb naturalnych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek <math>0\in N \wedge (x\in N\Rightarrow x+1\in N)</math>
* podzbiór <math>Z</math> spełniający aksjomaty liczb całkowitych: najmniejszy (w sensie inkluzji) zbiór spełniający warunek <math>0\in Z \wedge (x\in Z\Rightarrow x-1,x+1\in Z)</math>
Tym samym możemy stwierdzić, że niezależnie od konstrukcji, liczby naturalne i liczby całkowite są szczególnymi przypadkami liczb wymiernych, a ich zbiory zawierają się w zbiorze liczb wymiernych.

=== Konstrukcja liczb wymiernych ===
Nieściśle mówiąc, liczby wymierne można skonstruować jako zbiór wszystkich takich par, gdzie pierwszy element pary jest liczbą całkowitą, a drugi niezerową liczbą całkowitą<ref group="uwaga">Można też zbudować inną konstrukcję uznając, że drugi element pary musi być liczbą naturalną dodatnią. Konstrukcja taka jest izomorficzna z opartą na niezerowych liczbach całkowitych, jednak przy wprowadzaniu dzielenia liczb wymiernych konstrukcja oparta na liczbach całkowitych okazuje się wygodniejsza – dzielenie definiujemy zawsze jako <math>\frac{[(a,b)]}{[(c,d)]}=[(ad,bc)].</math> W przypadku konstrukcji, w której drugi element pary musi być liczbą naturalną, musimy odróżnić przypadek <math>c<0</math> i zdefiniować wówczas dzielenie inaczej: <math>\frac{[(a,b)]}{[(c,d)]}=[(-ad,-bc)].</math></ref>

Ściśle: zbiór liczb wymiernych <math>\mathbb Q</math> konstruujemy jako przestrzeń ilorazową relacji równoważności <math>\backsim \subset \left(\mathbb Z \times (\mathbb Z \setminus\{0\})\right)^2</math> określonej warunkiem:
: <math>(p,r) \backsim (q, s) \iff p\cdot s=r\cdot q</math> gdzie <math>p, q \in \mathbb Z;\ r, s \in \mathbb Z \setminus \{0\}</math>
Czyli <math>\mathbb Q = \mathbb Z \times (\mathbb Z \setminus \{0\})/_\backsim</math><ref group="uwaga">W algebrze tę konstrukcję dla dowolnego pierścienia całkowitego nazywa się tworzeniem [[Ułamek#Ciało ułamków|ciała ułamków]].</ref>.

{| class="wikitable"
|-
!width="30%"| Pojęcie
!width="70%"| Definicja
|-
| Dodawanie
| <math>[(a,\; b)] + [(c,\; d)] = [(ad+bc,\; bd)]</math>
|-
| Element neutralny dodawania
| <math>[(0,\; 1)]</math>
|-
| Element przeciwny
| <math>-[(a,\; b)]=[(-a,\; b)]</math>
|-
| Mnożenie
| <math>[(a,\; b)] \cdot [(c,\; d)] = [(ac,\; bd)]</math>
|-
| Element neutralny mnożenia
| <math>[(1,\; 1)]</math>
|-
| Element odwrotny
| <math>[(a,\; b)]^{-1}=[(b,\; a)]</math> dla <math>a \ne 0</math>
|-
| Porządek
| <math>[(a,\; b)] < [(c,\; d)] \iff ad<bc</math> dla <math>bd>0</math>
|}
[[Plik:Konstrukcja liczb wymiernych.svg|thumb|350px|Konstrukcja zbioru liczb wymiernych. Liczby wymierne zaznaczone na czerwonej linii to zbiory par liczb całkowitych, zaznaczonych kolorowymi kółkami]]

gdzie <math>[(a,\;b)]</math> oznacza [[Relacja równoważności#Klasy abstrakcji|klasę abstrakcji]] zawierającą <math>(a,\; b),</math> a znak <math><</math> oznacza relację porządku w zbiorze liczb całkowitych. Klasy <math>[(a,\;b)]</math> zapisujemy w postaci <math>\frac{a}{b}</math> i nazywamy często [[Dzielenie|ilorazem]] liczb <math>a</math> i <math>b.</math> Gdy <math>b=1,</math> piszemy po prostu <math>\tfrac{a}{1}=a.</math>

; Przykłady:
* Liczba wymierna <math>\tfrac{1}{2}</math> to zbiór <math>\{\dots,(-1,-2),(1,2),(2,4),(3,6),\dots\}</math> zawierający pary liczb całkowitych.
* Liczba wymierna <math>\tfrac{-3}{1}</math> lub krócej <math>-3</math> to zbiór <math>\{\dots,(-6,2),(-3,1),(3,-1),(6,-2),\dots\}</math>

== Liczby rzeczywiste ==
{{osobny artykuł|liczby rzeczywiste}}
Często powtarzana legenda podaje, że pierwszą odkrytą liczbą, niebędącą liczbą wymierną (powiemy później ''niewymierną''), była długość [[Przekątna|przekątnej]] kwadratu o boku jednostkowym<ref>Nie wiemy czy była to rzeczywiście pierwsza liczba o której udowodniono, że jest niewymierna. [[Eric W. Weisstein]], w artykule [http://mathworld.wolfram.com/PythagorassConstant.html Pythagoras’s Constant] w serwisie [[MathWorld]] pisze: ''Istnieje legenda, że filozof pitagoriański Hippasus udowodnił niewymierność <math>\sqrt{2}</math> podczas podróży statkiem. Kiedy poinformował współtowarzyszy podróży o swoim odkryciu, ci, będąc fanatycznymi pitagorejczykami, natychmiast wyrzucili go za burtę''.</ref><ref>[[Witold Więsław]] stwierdza: ''Pitagorejczycy udowodnili, że przekątna kwadratu nie jest współmierna z jego bokiem, tzn. <math>\sqrt{2}</math> jest liczbą niewymierną. Byłoby interesujące dowiedzieć się, kto pierwszy tego dowiódł. Zapewne nigdy się już tego nie dowiemy. Jedno jest pewne: Pitagoras pod koniec V w. p.n.e. wiedział, że <math>\sqrt{2}</math> jest liczbą niewymierną.'' (Zob.: Witold Więsław, ''Matematyka i jej historia'', Wydawnictwo NOWIK, Opole 1997, {{ISBN|83-905456-7-5}}, s. 36).</ref>. Liczbę tę, <math>\sqrt{2},</math> możemy jedynie obustronnie przybliżać wyrazami pewnego [[Ciąg (matematyka)|ciągu]] liczb wymiernych, nie da się jednak przedstawić jej przy pomocy stosunku liczb całkowitych. Innymi przykładami liczb o takiej własności są stosunek długości obwodu okręgu do jego średnicy, <math>\pi,</math> oraz [[podstawa logarytmu naturalnego]], <math>e.</math>

Klasycznie istnieją trzy podejścia do formalnej definicji zbioru liczb rzeczywistych: pierwszy z nich to definicja aksjomatyczna, drugi (metoda [[Richard Dedekind|Dedekinda]]) – przy pomocy tzw. ''przekrojów Dedekinda'', trzeci (metoda [[Georg Cantor|Cantora]]) – za pomocą tzw. [[Ciąg Cauchy’ego|ciągów Cauchy’ego]] liczb wymiernych.

=== Aksjomatyka liczb rzeczywistych ===
Formalnie liczby rzeczywiste można zdefiniować jako strukturę algebraiczną <math>(\mathbb{R}, +, \cdot, 0, 1, \leqslant)</math> spełniającą następujące aksjomaty:
# <math>(\mathbb{R}, +, \cdot, 0, 1, \leqslant)</math> jest [[Ciało uporządkowane|ciałem uporządkowanym]],
# [[aksjomat ciągłości]]: każdy niepusty i ograniczony z góry podzbiór <math>\mathbb R</math> ma [[Kresy dolny i górny|kres górny]].

Równoważne sformułowanie aksjomatu ciągłości można otrzymać, używając przekrojów Dedekinda, podanych dalej.

=== Aksjomatyka Tarskiego ===
[[Alfred Tarski]] stworzył alternatywną, minimalistyczną aksjomatykę. Niech <math>\mathbb{R}</math> będzie zbiorem, < relacją w <math>\mathbb{R},</math> + działaniem <math>+ \colon \mathbb{R} \times \mathbb{R} \to \mathbb{R}.</math> Niech 1 będzie stałą.

'''Aksjomaty porządku'''

1. „<” jest [[Relacja przeciwsymetryczna|relacją asymetryczną]]

2. <math>x<z\Rightarrow \bigvee_y x<y<z</math>

3. Jeśli <math>X, Y \subseteq \mathbb{R}</math> oraz dla każdego <math>x \in X</math> i dla każdego <math>y \in Y</math> zachodzi <math>x < y,</math> to istnieje taka liczba rzeczywista <math>z,</math> że dla każdych <math>x \in X</math> i <math>y \in Y,</math> jeśli <math>z \neq x</math> i <math>z \neq y,</math> to <math>x < z < y.</math>

'''Aksjomaty dodawania'''

4. <math>x + (y + z) = (x + z) + y</math>

5. Dla dowolnych <math>x, y,</math> istnieje <math>z,</math> takie że <math>x+z=y</math>

6. <math>x + y < z + w \Rightarrow x < z \vee y < w</math>

'''Aksjomaty jedności'''

7. <math>1\in\mathbb{R}</math>

8. <math>1<1+1</math>
W aksjomatach Tarskiego nie jest używane mnożenie. Udowodnił<ref>{{cytuj książkę |nazwisko = Tarski |imię = Alfred |autor link = Alfred Tarski |tytuł = Introduction to Logic and to the Methodology of Deductive Sciences |rok = 1994 (1936) |miejsce = Dover}}</ref> on jednak, że z tych aksjomatów wynika istnienie działania mnożenia, spełniającego wraz z dodawaniem aksjomaty ciała.

=== Konstrukcja przy pomocy przekrojów Dedekinda ===
Niech <math>\mathbf{X}</math> będzie [[Zbiór pusty|niepustym]] zbiorem takim, że między jego elementami określona jest relacja silnego [[Porządek liniowy|porządku liniowego]] <math>\prec,</math> którą będziemy nazywać ''relacją mniejszości''.

'''[[Przekrój Dedekinda|Przekrojem Dedekinda]]''' zbioru <math>\mathbf{X}</math> nazywamy parę zbiorów <math>(A,B)</math> taką, że <math>A,B\subseteq \mathbf{X}</math> oraz spełnione są następujące warunki:
# <math>A\neq\varnothing, B\neq\varnothing,</math>
# <math>A\cup B=\mathbf{X},</math>
# jeżeli <math>a\in A</math> i <math>b\in B,</math> to <math>a<b,</math>
# <math>A \cap B = \emptyset.</math>
Zbiór <math>A</math> nazywamy '''klasą dolną''', a zbiór <math>B</math> '''klasą górną przekroju'''. Przekrój wyznaczony parą zbiorów <math>(A,B)</math> oznaczamy <math>[A,B].</math>

[[Aksjomat ciągłości]] Dedekinda można inaczej sformułować w następujący sposób:
: Jeżeli <math>[A,B]</math> jest przekrojem Dedekinda zbioru <math>\mathbf{X},</math> to albo klasa dolna <math>A</math> ma element największy, albo klasa górna <math>B</math> ma element najmniejszy.

Przyjmijmy <math>\mathbf{X}=\mathbb{Q}.</math> Każdy przekrój Dedekinda <math>[A,B]</math> tego zbioru można interpretować jako wzajemne położenie elementów pary, której pierwszy elementem są uzupełniające się [[Półprosta|półproste]], a drugim zbiór <math>\mathbb{Q}.</math> Przy tym istnieją trzy możliwości:
# <math>A</math> ma [[Elementy najmniejszy i największy|element największy]], należący do <math>\mathbb{Q},</math>
# <math>B</math> ma [[Elementy najmniejszy i największy|element najmniejszy]], należący do <math>\mathbb{Q},</math>
# Klasa <math>A</math> nie ma elementu największego oraz klasa <math>B</math> nie ma elementu najmniejszego.

Ilustracja powyższych możliwości:
: ad 1. <math>A=\{x\in\mathbb{Q}\colon x\leqslant 1\}, B=\{x\in\mathbb{Q}\colon x>1\}</math>
: ad 2. <math>A=\{x\in\mathbb{Q}\colon x<1\}, B=\{x\in\mathbb{Q}\colon x\geqslant 1\}</math>
: ad 3. <math>A=\{x\in\mathbb{Q}\colon x< 0 \vee x^2<2\}, B=\{x\in\mathbb{Q}\colon x>0 \wedge x^2>2\}</math>

W przypadku 3. mówimy, że przekrój <math>[A,B]</math> wyznacza '''lukę''' – ponieważ równanie <math>x^2=2</math> nie ma rozwiązania w ciele liczb wymiernych, tym samym zbiór liczb wymiernych nie spełnia aksjomatu ciągłości Dedekinda.

Liczby rzeczywiste można zdefiniować jako przekroje Dedekinda zbioru liczb wymiernych.

Przekroje typu 1 i 2 nazywamy '''liczbami rzeczywistymi wymiernymi'''. Dwa przekroje typu 1 i 2 wyznaczające tę samą liczbę rzeczywistą wymierną uważamy za równe:
: <math>[A,B]=[C,D]\Leftrightarrow A\cap D=B\cap C=\empty</math>

Natomiast jeśli przekrój <math>[A,B]</math> wyznacza lukę, to nazywamy go '''liczbą rzeczywistą niewymierną'''.

Określmy <math>\mathbb{Q}_-=\{x\in\mathbb{Q}\colon x\leqslant 0\}</math> oraz <math>\mathbb{Q}_+:=\mathbb{Q}\setminus \mathbb{Q}_-.</math>

{| class="wikitable"
|-
!width="30%"| Pojęcie
!width="70%"| Definicja
|-
| Dodawanie
| <math>[A_1, B_1]+ [A_2, B_2]=[A_1+A_2, B_1+B_2]</math>
|-
| Element neutralny dodawania
| <math>\overline{0}=[\mathbb{Q}_-, \mathbb{Q}_+]</math>
|-
| Element przeciwny
| <math>-[A_1, B_1]=[-B_1, -A_1]</math>
|-
| Mnożenie
| Gdy <math>\mathbb{Q}_-\subset A_1, \mathbb{Q}_-\subset A_2</math>
<math>[A_1, B_1]\cdot [A_2, B_2]=[A_3, B_3],</math> przy czym:
<math>[A_3,B_3]=[\mathbb{Q}_-\cup(A_1\setminus\mathbb{Q}_-)\cdot(A_2\setminus\mathbb{Q}_-),\mathbb{Q}\setminus A_3]</math>

Gdy <math>A_1,A_2\subset\mathbb{Q}_-</math> wtedy <math>\mathbb{Q}_-\subset-B_1,\mathbb{Q}_-\subset-B_2</math>
<math>[A_1, B_1]\cdot [A_2,B_2]=[-B_1, -A_1]\cdot [-B_2, -A_2]</math>

Gdy <math>A_1\subset\mathbb{Q}_-\subset A_2,</math> to <math>\mathbb{Q}_-\subset-B_1</math>
<math>[A_1, B_1]\cdot [A_2,B_2]= -([-B_1, -A_1]\cdot [A_2, B_2])</math>

Gdy <math>A_2\subset \mathbb{Q}_- \subset A_1</math>
<math>[A_1, B_1]\cdot [A_2,B_2]= -([-B_2, -A_2]\cdot [A_1, B_1])</math> (przypadek jak wyżej)
|-
| Porządek
| <math>[A_1, B_1]<[A_2, B_2] \iff A_1\subset A_2 \wedge [A_1, B_1]\neq [A_2, B_2]</math>
|}

Wykazuje się, że zbiór <math>\mathbb{R}</math> z działaniami i porządkiem określonymi jak w tabeli spełnia aksjomaty ciała uporządkowanego oraz aksjomat ciągłości Dedekinda.

Działania w tym zbiorze oznaczamy tak samo jak działania w zbiorze liczb wymiernych.

=== Konstrukcja przy pomocy ciągów Cauchy’ego liczb wymiernych ===
Niech <math>\mathcal{F}(\mathbb{N}, \mathbb{Q})</math> będzie zbiorem wszystkich [[Funkcja|odwzorowań]] zbioru liczb naturalnych w zbiór liczb wymiernych.

Ciąg liczb wymiernych <math>(a_n)_{n\in\mathbb{N}}\in \mathcal{F}(\mathbb{N}, \mathbb{Q})</math> nazywamy [[Ciąg Cauchy’ego|ciągiem Cauchy’ego]], gdy
: <math>\bigwedge_{\mathbb{Q}\ni\varepsilon>0}\bigvee_{n_0\in\mathbb{N}}\bigwedge_{p,q>n_0}|a_p-a_q|<\varepsilon</math>

Zbiór wszystkich ciągów Cauchy’ego, należących do <math>\mathcal{F}(\mathbb{N}, \mathbb{Q})</math> oznaczmy <math>\mathcal{C}.</math> W zbiorze tym wprowadzamy [[Relacja równoważności|relację równoważności]] <math>\sim{:}</math>
: <math>(a_n)_{n\in\mathbb{N}} \sim (b_n)_{n\in\mathbb{N}} \iff \bigwedge_{\mathbb{Q}\ni\varepsilon>0}\bigvee_{n_0\in\mathbb{N}}\bigwedge_{n>n_0}|a_n-b_n|<\varepsilon.</math>

Łatwo sprawdzić, że istotnie jest ona [[Relacja zwrotna|zwrotna]], [[Relacja symetryczna|symetryczna]] i [[Relacja przechodnia|przechodnia]].

Zbiór <math>\mathbb{R}</math> jest [[Relacja równoważności#Klasy abstrakcji|przestrzenią ilorazową]] <math>\mathcal{C}/_\sim.</math> Wówczas <math>\mathbb{Q}</math> możemy identyfikować ze zbiorem klas ciągów stałych. Mówimy, że zanurzyliśmy <math>\mathbb{Q}</math> w <math>\mathbb{R}.</math>

Działania w <math>\mathbb{Q}</math> przenoszą się na działania w <math>\mathcal{F}(\mathbb{N}, \mathbb{Q}),</math> a więc także na <math>\mathcal{C}.</math> Dzięki temu możemy wprowadzić działania i porządek w <math>\mathbb{R}=\mathcal{C}/_\sim,</math> ograniczając się do reprezentantów. Niech <math>(a_n)_{n\in\mathbb{N}}, (b_n)_{n\in\mathbb{N}} \in\mathcal{C}.</math>
{| class="wikitable"
|-
!width="30%"| Pojęcie
!width="70%"| Definicja
|-
| Dodawanie
|<math>[(a_n)_{n\in\mathbb{N}}]+[(b_n)_{n\in\mathbb{N}}]=[(a_n+b_n)_{n\in\mathbb{N}}]</math>
|-
| Element neutralny dodawania
| <math>[0]</math> – ciąg stale równy <math>0</math>
|-
| Element przeciwny
| <math>-[(a_n)_{n\in\mathbb{N}}]=[(-a_n)_{n\in\mathbb{N}}]</math>
|-
| Mnożenie
| <math>[(a_n)_{n\in\mathbb{N}}]\cdot [(b_n)_{n\in\mathbb{N}}]=[(a_nb_n)_{n\in\mathbb{N}}]</math>
|-
| Element neutralny mnożenia
| <math>[1]</math> – ciąg stale równy <math>1</math>
|-
| Porządek
| <math>[(a_n)_{n\in\mathbb{N}}]>[(b_n)_{n\in\mathbb{N}}] \iff \bigvee_{0<r\in\mathbb{Q}}\bigvee_{n_0\in\mathbb{N}}\bigwedge_{n>n_0}b_n<a_n-r</math>
|}

Wykazuje się, że definicja ta spełnia aksjomaty ciała uporządkowanego i nie zależy od wyboru reprezentantów.

Ciało liczb rzeczywistych zawiera podciało, spełniające aksjomaty liczb wymiernych. Można zatem powiedzieć, że liczby wymierne są podzbiorem zbioru liczb rzeczywistych.

Patrząc z drugiej strony, zbiór liczb wymiernych został przy tej konstrukcji uzupełniony o pewne ''nowe'' elementy. Elementy te nazywamy '''liczbami niewymiernymi''', a ich zbiór oznaczamy po prostu <math>\mathbb{R}\setminus\mathbb{Q}.</math>

Rozszerzanie liczb wymiernych za pomocą ciągów Cauchy’ego przy zmienionej definicji <math>|a|</math> w relacji <math>\sim</math> prowadzi do zupełnie innego rodzaju liczb. Zobacz sekcję [[#Liczby p-adyczne|liczby p-adyczne]].

=== Niektóre podzbiory zbioru liczb rzeczywistych ===
Oprócz zdefiniowanych wcześniej liczb naturalnych, całkowitych i wymiernych warto wyróżnić:
* '''[[Znak liczby|liczby dodatnie]]''' – większe od zera,
* '''[[Znak liczby|liczby ujemne]]''' – mniejsze od zera,
* '''[[Znak liczby|liczby nieujemne]]''' – większe lub równe zeru,
* '''[[Znak liczby|liczby niedodatnie]]''' – mniejsze lub równe zeru,
* '''[[liczby niewymierne]]''' – liczby rzeczywiste niedające się przedstawić jako iloraz dwóch liczb całkowitych.

== Liczby zespolone ==
{{osobny artykuł|liczby zespolone}}

=== Aksjomatyka liczb zespolonych ===
Liczby zespolone są jedynym skończeniewymiarowym przemiennym ciałem obejmującym liczby rzeczywiste, różnym od ciała liczb rzeczywistych<ref name="atlas" />.

=== Konstrukcja Cayleya-Dicksona ===
Konstrukcja Cayleya-Dicksona jest metodą rozszerzania [[Przestrzeń unormowana|unormowanej]] [[Przestrzeń liniowa|przestrzeni liniowej]] przez tworzenie par jej elementów <math>(a,\;b),</math> a następnie definiowanie działań w następujący sposób:
{| class="wikitable"
|-
!width="30%"| Pojęcie
!width="70%"| Definicja
|-
| Dodawanie
|<math>(a,\;b)+(c,\;d)=(a+c,\;b+d)</math>
|-
| Element neutralny dodawania
| <math>(0,\;0)</math>
|-
| Element przeciwny
| <math>-(a,\;b)=(-a,\;-b)</math>
|-
| Mnożenie
|<math>(a,\;b)(c,\;d)=(a c-d^* b,\;d a+b c^*)</math>
|-
| Element neutralny mnożenia
| <math>(1,\;0)</math>
|-
| Element odwrotny
|<math>(a,\;b)^{-1}=\left( \frac{a^*}{|a|^2+|b|^2},\;-\frac{b}{|a|^2+|b|^2}\right)</math>
|-
| Element sprzężony
|<math>(a,\; b)^* = (a^*,\; -b)</math>
|-
| [[Przestrzeń unormowana|Norma]]
|<math>|(a,\;b)|=\sqrt{(a,\;b)^*(a,\;b)}=\sqrt{(a^*a+bb^*,\;ab-ba)}=\sqrt{|a|^2+|b|^2}</math>
|}

<math>a^*=a</math> oznacza tu [[Sprzężenie zespolone|liczbę sprzężoną]] do <math>a,</math> czyli taką, że <math>a^* a=|a|^2</math>

Liczby zespolone można utworzyć za pomocą tej konstrukcji, zastosowanej do liczb rzeczywistych, pamiętając, że dla liczb rzeczywistych <math>a^*=a,</math> a norma <math>|a|</math> jest wartością bezwzględną. Stosując tę samą konstrukcję do liczb zespolonych, dostajemy tzw. kwaterniony, następnie stosując ją do kwaternionów – oktoniony, a po zastosowaniu jej do oktonionów – sedeniony.

Tym samym każda liczba zespolona jest konstruowana jako para liczb rzeczywistych.

Działania arytmetyczne na poziomie rachunków na liczbach zespolonych są równoważne wprowadzeniu dodatkowej liczby <math>i</math> (tzw. [[Jednostka urojona|jednostki urojonej]]<ref group="uwaga">Jednostkę urojoną w elektronice oznacza się przez <math>j,</math> gdyż przyjęty w innych naukach symbol <math>i</math> jest w elektronice używany dla oznaczenia [[Natężenie prądu elektrycznego|natężenia prądu]].</ref>), posiadającej właściwość <math>i^2= -1</math> i utożsamieniu pary <math>(a,\;b)</math> z sumą <math>a+ib.</math>

Liczbę <math>a</math> nazywa się '''częścią rzeczywistą''' liczby zespolonej i oznacza <math>\operatorname{Re}(z),</math> a liczbę <math>b</math> '''częścią urojoną''' i oznacza <math>\operatorname{Im}(z)</math>

=== Płaszczyzna zespolona ===
Liczby zespolone można interpretować jako punkty płaszczyzny z odpowiednio zdefiniowanym dodawaniem i mnożeniem. Jest to tzw. [[płaszczyzna zespolona]], zwana czasem ''płaszczyzną [[Carl Friedrich Gauss|Gaussa]]''.

Dodawanie odpowiada wówczas przesunięciu o [[wektor]] (por. [[Translacja (matematyka)|translacja]]), a mnożenie przez liczbę zespoloną o [[Wartość bezwzględna#Liczby zespolone|module]] równym 1 – [[Obrót|obrotowi]] o pewien kąt wokół środka układu współrzędnych. Norma w tym przypadku to [[Przestrzeń euklidesowa|odległość euklidesowa]] od początku układu współrzędnych. Liczbę sprzężoną możemy interpretować jako odbicie lustrzane względem osi rzeczywistej ([[symetria osiowa]] względem [[Prosta|prostej]] <math>\operatorname{Im}(z)=0</math>).

Płaszczyzna zespolona jest kolejną konstrukcją ciała liczb zespolonych.

=== Liczby algebraiczne ===
{{osobny artykuł|liczby algebraiczne}}
Oprócz zdefiniowanych wcześniej rodzajów liczb w ciele liczb zespolonych zawiera się ważne podciało: '''liczby algebraiczne'''. Są to liczby zespolone będące [[Wielomian#Pierwiastki|pierwiastkami]] pewnego niezerowego [[wielomian]]u o współczynnikach wymiernych. Zbiór liczb algebraicznych <math>\mathbb{A}</math> z dodawaniem i mnożeniem tworzy ciało. W przeciwieństwie do <math>\mathbb{R}</math> i <math>\mathbb{C}</math> jest jednak [[Zbiór przeliczalny|przeliczalny]].

W języku algebry możemy powiedzieć, że liczby algebraiczne to [[Element algebraiczny|elementy algebraiczne]] ciała liczb zespolonych <math>\mathbb{C}</math> nad ciałem liczb wymiernych <math>\mathbb{Q}.</math>

Liczby zespolone niebędące [[Liczby algebraiczne|liczbami algebraicznymi]] nazywamy '''liczbami przestępnymi'''. Należą do nich m.in. <math>\pi</math> oraz [[Podstawa logarytmu naturalnego|e]].

Liczby algebraiczne są w ogólności zespolone, ale wśród nich istnieją także liczby rzeczywiste (w szczególności wszystkie liczby wymierne są algebraiczne). Nazywamy je po prostu '''rzeczywistymi liczbami algebraicznymi'''. Istnieje też nieskończona liczba ciał węższych od rzeczywistych liczb algebraicznych, lecz szerszych od liczb wymiernych, np. ciało liczb postaci <math>a+b\sqrt{2},</math> gdzie <math>a,b\in \mathbb{Q}.</math>

Istnieją też '''całkowite liczby algebraiczne'''. Nie oznacza to jednak przecięcia zbiorów liczb algebraicznych i liczb całkowitych<ref group="uwaga">Byłby to po prostu zbiór liczb całkowitych, bo każda liczba całkowita jest algebraiczna.</ref>, lecz liczby zespolone będące pierwiastkami wielomianu o współczynnikach całkowitych i współczynniku przy największej [[Potęgowanie|potędze]] <math>x,</math> równym 1. Liczby takie tworzą [[Pierścień (matematyka)|pierścień]], gdyż suma, różnica i iloczyn dwóch całkowitych liczb algebraicznych daje również taką liczbę.

== Kwaterniony ==
{{osobny artykuł|kwaterniony}}

=== Aksjomatyka kwaternionów ===
Kwaterniony są jedynym skończeniewymiarowym [[Pierścień z dzieleniem|pierścieniem z dzieleniem]] <math>K,</math> obejmującym ciało liczb zespolonych, w którym zachodzi <math>a\alpha=\alpha a,</math> dla wszystkich <math>a\in\mathbb{R}, \alpha\in K</math><ref name="atlas" />.

=== Konstrukcja kwaternionów ===
Konstrukcja Cayleya-Dicksona może być zastosowana do liczb zespolonych. Dostajemy wówczas liczby, zwane [[Kwaterniony|kwaternionami]]. Każdą z nich można przedstawić w postaci <math>h=a+bi+cj+dk,</math> gdzie liczby <math>1,</math> <math>i,</math> <math>j,</math> <math>k</math>
mnożą się według poniższej tabeli:
{| class="wikitable"
|-
|width=20%| <math>\times</math>
|width=20%| <math>1</math>
|width=20%| <math>i</math>
|width=20%| <math>j</math>
|width=20%| <math>k</math>
|-
| <math>1</math>
| <math>1</math>
| <math>i</math>
| <math>j</math>
| <math>k</math>
|-
| <math>i</math>
| <math>i</math>
| <math>-1</math>
| <math>k</math>
| <math>-j</math>
|-
| <math>j</math>
| <math>j</math>
| <math>-k</math>
| <math>-1</math>
| <math>i</math>
|-
| <math>k</math>
| <math>k</math>
| <math>j</math>
| <math>-i</math>
| <math>-1</math>
|}

Kwaterniony nie tworzą zwykłego ciała, gdyż ich mnożenie nie jest przemienne. Posiadają jednak wszystkie inne właściwości wymagane od ciała, stąd czasem mówi się o [[Pierścień z dzieleniem|ciele nieprzemiennym]] kwaternionów. Kwaterniony są jedynym możliwym [[Rozszerzenie ciała|rozszerzeniem ciała]] liczb zespolonych, zachowującym te właściwości.

== Oktoniony (oktawy Cayleya) ==
{{osobny artykuł|oktawy Cayleya|o1=oktoniony}}
Stosując ponownie konstrukcję Cayleya-Dicksona, tym razem do kwaternionów, uzyskujemy tzw. oktawy Cayleya albo inaczej oktoniony.

Liczba zespolona była parą liczb rzeczywistych, kwaternion – czwórką, a oktawa jest ósemką liczb rzeczywistych.

Mnożenie oktonionów jest nie tylko nieprzemienne, ale także nie jest już łączne. Oktawy stanowią jedyną algebrę skończonego wymiaru nad ciałem liczb rzeczywistych z wykonalnym dzieleniem, w której mnożenie nie jest łączne, ale jest łączne w algebrze tworzonej przez każde dwa z jej elementów.

== Sedeniony ==
{{osobny artykuł|sedeniony}}
Sedeniony powstają po zastosowaniu konstrukcji Cayleya-Dicksona do oktonionów. Sedeniony mają jeszcze gorsze właściwości algebraiczne – pojawiają się tzw. [[Dzielnik zera|dzielniki zera]], czyli istnieją wśród nich niezerowe liczby, których iloczyn jest zerem.

== Algebry Clifforda ==
{{osobny artykuł|Algebra Clifforda}}
Liczby zespolone, kwaterniony, oktoniony i sedeniony można było przedstawić w postaci zapisu
: <math>r_0+r_1 e_1+r_2 e_2+\ldots +r_n e_n,</math>
gdzie <math>r_i</math> to liczby rzeczywiste, a <math>e_i</math> to różnego rodzaju stałe – jednostki urojone. Działania na liczbach były całkowicie określone przez iloczyny jednostek urojonych <math>e_i.</math>

[[Algebra Clifforda|Algebry Clifforda]] uogólniają te liczby, pozwalając na odmienne definicje tych iloczynów, przy czym w niezdegenerowanych algebrach Clifforda stosowanych do konstrukcji liczb przyjmuje się zawsze:
* <math>e_i^2=+1</math> lub <math>e_i^2= -1</math>
* <math>e_i e_j= -e_j e_i</math> dla <math>i\ne j</math>

Ogólnie algebra Clifforda jest wyznaczona przez [[Forma kwadratowa|formę kwadratową]] <math>q</math> w <math>n</math>-wymiarowej [[Przestrzeń liniowa|przestrzeni wektorowej]] <math>V{:}</math>
* <math>v^2=q(v)</math>
* <math>vw+wv=q(v+w)-q(v)-q(w)</math>
Jeśli [[Baza (przestrzeń liniowa)|bazę przestrzeni wektorowej]] <math>V</math> stanowi zbiór <math>\{e_1,e_2,\dots e_n\},</math> to bazę algebry Clifforda nad <math>V</math> stanowi zbiór
: <math>\{e_{i_1}e_{i_2}\ldots e_{i_k}\colon 1\leqslant i_1 < i_2 < \ldots < i_k \leqslant n\mbox{ i } 0\leqslant k\leqslant n\}</math>

Dla <math>n</math>-wymiarowej przestrzeni <math>V</math> przestrzeń algebry Clifforda ma wymiar <math>2^n.</math>

Na elementach <math>e_i</math> bazy przestrzeni <math>V</math> zdefiniujemy mnożenie. Liczby <math>p</math> tych elementów, których kwadraty są równe +1, oraz <math>q</math> elementów o kwadratach równych -1 określają z dokładnością do izomorfizmu całą wygenerowaną w ten sposób algebrę. Jest ona wówczas oznaczana <math>C\ell_{p,q}(\mathbb{R})</math>

Wiele spośród algebr Clifforda nad ciałem liczb rzeczywistych jest uważanych za odmiany liczb. Są to m.in.:
* '''[[liczby zespolone]]''' <math>C\ell_{0,1}(\mathbf{R})</math>
* '''[[liczby podwójne]]''' <math>C\ell_{1,0}(\mathbf{R})</math>
* '''[[kwaterniony]]''' <math>C\ell_{0,2}(\mathbf{R})</math>
* '''[[Bikwaterniony|bikwaterniony Clifforda]]''' <math>C\ell_{0,3}(\mathbf{R})</math>
* '''[[kokwaterniony]]''' <math>C\ell_{1,1}(\mathbf{R})</math> lub <math>C\ell_{2,0}(\mathbf{R})</math>
* '''algebra [[Czasoprzestrzeń Minkowskiego|czasoprzestrzeni Minkowskiego]]''' <math>C\ell_{1,3}(\mathbf{R}).</math>

Algebrę Clifforda osobliwej formy <math>q(v)=0</math> na przestrzeni <math>V</math> wymiaru 1 nazywamy '''algebrą [[Liczby dualne|liczb dualnych]]'''; ma ona szereg zastosowań, np. w geometrii.

=== Konstrukcja przez użycie pierścienia ilorazowego ===
W algebrze abstrakcyjnej liczby zespolone, liczby dualne i liczby podwójne można zdefiniować jako [[Pierścień ilorazowy|pierścienie ilorazowe]] [[Pierścień wielomianów|pierścienia wielomianów]] o współczynnikach rzeczywistych przez [[Ideał (teoria pierścieni)|ideały]] generowane przez odpowiednie wielomiany:
* '''liczby zespolone''' <math>\mathbb{R}[X] / (X^2 + 1),</math>
* '''liczby dualne''' <math>\mathbb{R}[X] / (X^2),</math>
* '''liczby podwójne''' <math>\mathbb{R}[X] / (X^2 - 1).</math>

Liczby zespolone tworzą ciało, gdyż <math>(X^2+1)</math> jest [[Ideał maksymalny|ideałem maksymalnym]].

== Liczby p-adyczne ==
{{osobny artykuł|liczby p-adyczne}}

=== Aksjomatyka liczb p-adycznych ===
Ciała <math>\mathbb{Q}_p</math> [[Liczby p-adyczne|liczb p-adycznych]] (dla p będących dowolnymi liczbami pierwszymi) są jedynymi możliwymi uzupełnieniami ciała liczb wymiernych według nietrywialnej [[Przestrzeń unormowana|normy]], nierównoważnej z [[Wartość bezwzględna|wartością bezwzględną]]<ref group="uwaga">[[Twierdzenie Ostrowskiego]].</ref>.

=== Konstrukcja liczb p-adycznych ===
Liczby rzeczywiste konstruowaliśmy ([[#Konstrukcja przy pomocy ciągów Cauchy’ego liczb wymiernych|zobacz]]) m.in. jako zbiory ciągów Cauchy’ego liczb wymiernych o tej samej granicy.

Liczby rzeczywiste były klasami równoważności relacji
<math>\sim{:}</math>
: <math>(a_n)_{n\in\mathbb{N}} \sim (b_n)_{n\in\mathbb{N}} \iff \bigwedge_{\mathbb{Q}\ni\varepsilon>0}\bigvee_{n_0\in\mathbb{N}}\bigwedge_{n>n_0}|a_n-b_n|<\varepsilon.</math>

W definicji tej występuje wartość bezwzględna <math>|a|.</math>
Liczby p-adyczne dostaniemy, zmieniając ją na [[Przestrzeń unormowana|normę]] <math>|a|=p^{-w_p(a)}</math> i <math>|0|=0,</math> gdzie <math>w_p(a)\in \mathbb{Z}</math> jest wykładnikiem przy [[Liczby pierwsze|liczbie pierwszej]] <math>p</math> w rozkładzie liczby wymiernej <math>a</math> na [[Czynnik pierwszy|czynniki pierwsze]].

Liczby p-adyczne tworzą ciała. Ciała dla dwóch różnych wartości <math>p</math> nie są jednak izomorficzne.

Liczby p-adyczne są używane w teorii liczb do rozwiązywania tzw. [[Równanie diofantyczne|równań diofantycznych]], czyli równań, w których niewiadome mogą przyjmować tylko wartości całkowite. W kryptografii tego typu równania są stosowane do łamania [[szyfr]]ów.

== Liczby kardynalne ==
{{osobny artykuł|liczby kardynalne}}
Innym niż liczby całkowite sposobem rozszerzenia pojęcia liczb naturalnych są tzw. [[Moc zbioru|liczby kardynalne]].

Uogólnieniem pojęcia liczności [[Zbiór skończony|zbioru skończonego]] na wszelkie zbiory, także nieskończone, jest tzw. [[moc zbioru]]. Dwa zbiory <math>A</math> i <math>B</math> są równoliczne (mają tę samą moc), jeśli elementy zbioru <math>A</math> można połączyć w pary z elementami zbioru <math>B,</math> tak aby każdy element zbioru <math>A</math> i każdy element zbioru <math>B</math> były wykorzystane raz i tylko raz.

Na gruncie [[Teoria mnogości#Naiwna teoria mnogości|naiwnej]] (nieaksjomatycznej) teorii mnogości stwierdza się, że liczba kardynalna to [[Relacja równoważności#Klasy abstrakcji|klasa równoważności]] [[Relacja (matematyka)|relacji]] równoliczności zbiorów. Wówczas moc zbioru to liczba kardynalna, która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie '''[[Aksjomaty Zermela-Fraenkla|ZF]]''' jest trochę złożona, bo tak zdefiniowane liczby kardynalne nie byłyby zbiorami, a klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na użycie klas, nie moglibyśmy zdefiniować klasy wszystkich liczb kardynalnych, należy więc ograniczać się do „fragmentów początkowych” klas równoważności i pokonać szereg technicznych komplikacji.

Z tego powodu na gruncie [[Teoria mnogości#Aksjomatyczna teoria mnogości|aksjomatycznej]] teorii mnogości definiuje się liczby kardynalne w nieco odmienny sposób: liczba kardynalna to tzw. '''początkowa liczba porządkowa''', czyli taka [[Liczby porządkowe|liczba porządkowa]], która nie jest równoliczna z żadną liczbą porządkową od niej mniejszą (równoważnie: liczba porządkowa, która nie jest równoliczna z żadnym swoim elementem). Przy założeniu [[Aksjomat wyboru|AC]] każdy zbiór jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.

Działaniami na liczbach kardynalnych zajmuje się [[arytmetyka liczb kardynalnych]].

Liczby kardynalne i opisane dalej liczby porządkowe nie tworzą w ogóle zbiorów. Założenie, że można utworzyć zbiór liczb kardynalnych lub porządkowych, prowadzi do sprzeczności<ref group="uwaga">Tzw. [[Paradoks zbioru wszystkich zbiorów|antynomia Cantora]], [[antynomia Russella]].</ref>.

== Liczby porządkowe ==
{{osobny artykuł|liczby porządkowe}}
Kolejnym rozszerzeniem liczb naturalnych (a także kardynalnych<ref group="uwaga" name="AW">Przy założeniu [[Aksjomat wyboru|aksjomatu wyboru]]. Bez niego niektóre zbiory mogą nie dać się uporządkować, a zatem mogą istnieć liczby kardynalne, niemające odpowiednika w postaci typu porządkowego.</ref>) są tzw. [[liczby porządkowe]]. Liczby naturalne są używane do kolejnego numerowania elementów skończonych zbiorów, np. pierwsze jabłko, drugie itp. [[Georg Cantor]] uogólnił tak stosowane pojęcie liczb naturalnych na numerowanie elementów zbiorów o mocach większych od mocy zbioru liczb naturalnych.

Niech <math>(M,\leqslant_1)</math> i <math>(N,\leqslant_2)</math> będą zbiorami [[Częściowy porządek|uporządkowanymi]]. Powiemy, że odwzorowanie <math>f\colon M \to N</math> jest '''[[Izomorfizm porządków|izomorfizmem porządków]]''', jeśli
: <math>f</math> jest [[Funkcja wzajemnie jednoznaczna|bijektywne]] oraz
: <math>\forall_{x,y\in M}\left(x \leqslant_1 y \Leftrightarrow f(x)\leqslant_2 f(y)\right)</math> (tzn. <math>f</math> oraz <math>f^{-1}</math> są monotoniczne).

Jeśli istnieje izomorfizm porządkowy z <math>M</math> na <math>N,</math> to powiemy, że te porządki są izomorficzne. Izomorficzne zbiory uporządkowane są nierozróżnialne na gruncie teorii porządku. Są też zawsze równoliczne.

W początkach rozwoju teorii mnogości liczby porządkowe były definiowane jako [[Relacja równoważności#Klasy abstrakcji|klasy równoważności]] [[izomorfizm]]u zbiorów '''[[Dobry porządek|dobrze uporządkowanych]]'''. Podejście to było dość intuicyjne, jednak prowadzi ono do technicznych trudności przy formalizacji na gruncie '''ZF'''. Dlatego też współcześnie przyjmujemy definicję liczb porządkowych podaną przez [[John von Neumann|Johna von Neumanna]]:
: '''liczba porządkowa''' to zbiór α taki, że
:: (i) każdy element <math>\beta\in\alpha</math> jest [[Podzbiór|podzbiorem]] α (tzn. <math>(\forall \beta\in\alpha)(\beta\subseteq\alpha)</math>), oraz
:: (ii) każde dwa elementy zbioru <math>\alpha</math> są porównywalne w relacji [[Podzbiór|inkluzji]] (tzn. <math>(\forall\beta,\gamma\in\alpha)(\beta\subseteq \gamma\ \vee \ \gamma\subseteq\beta)</math>).

Równoważnie – liczba porządkowa to taki zbiór α, który spełnia warunek (i) sformułowany powyżej i jest dobrze uporządkowany przez relację należenia (tzn. <math>(\alpha,\in)</math> jest dobrym porządkiem).

Każdy dobry porządek jest izomorficzny z pewną liczbą porządkową von Neumanna (na grunie '''ZF'''), więc można o tych liczbach myśleć jako o reprezentantach klas abstrakcji izomorfizmu dobrych porządków.

Liczby porządkowe nie tworzą zbioru, lecz klasę właściwą<ref group="uwaga">Próba stworzenia zbioru liczb porządkowych prowadzi do [[Paradoks Buralego-Fortiego|antynomii Buralego-Fortiego]].</ref>. Działaniami na liczbach porządkowych zajmuje się [[arytmetyka liczb porządkowych]].

== Liczby hiperrzeczywiste ==
{{osobny artykuł|Liczby hiperrzeczywiste}}
Liczby hiperrzeczywiste (ang. ''hyperreal numbers'') <math>^*\mathbb{R}</math> są ciałem zawierającym w sobie liczby rzeczywiste, liczby nieskończone oraz [[Nieskończenie małe|infinitezymalne]] (większe od zera, ale mniejsze od każdej rzeczywistej liczby dodatniej)<ref>W problematykę liczb hiperrzeczywistych poglądowo wprowadza David Tall, ''How Humans Learn to Think Mathematically'', Cambridge University Press, Cambridge 2013, s. 364–385.</ref>.

=== Aksjomatyka liczb hiperrzeczywistych ===
Aksjomaty Keislera<ref>Keisler ''Foundations of Infinitesimal Calculus'' 1977; za: https://cs.nyu.edu/pipermail/fom/2003-November/007690.html.</ref>:

# <math>\mathbb{R}</math> jest ciałem uporządkowanym liczb rzeczywistych
# <math>^*\mathbb{R}</math> jest uporządkowanym nadciałem <math>\mathbb{R}</math>
# (Aksjomat funkcji) Dla każdej funkcji <math>f</math> o <math>n</math> argumentach rzeczywistych istnieje odpowiadająca jej funkcja <math>^*f</math> o <math>n</math> argumentach hiperrzeczywistych, przy czym dowolne działania na argumentach <math>f</math> prowadzą do tego samego wyniku, co analogiczne działania na argumentach <math>^*f.</math>
# (Aksjomat rozwiązania) Jeśli jakiś [[układ równań]] i nierówności ma rozwiązanie rzeczywiste, ma także odpowiadające mu rozwiązanie hiperrzeczywiste.
# Jeśli <math>S</math> jest zbiorem równań i nierówności, złożonym z funkcji, stałych hiperrzeczywistych i zmiennych, takim, że <math>S</math> ma mniejszą moc zbioru niż <math>^*\mathbb{R},</math> i każdy skończony podzbiór <math>S</math> ma rozwiązanie w liczbach hiperrzeczywistych, to <math>S</math> ma rozwiązanie w liczbach hiperrzeczywistych.

Zachodzi tu następujące [[twierdzenie Keislera]]: istnieje jedna i tylko jedna (z dokładnością do izomorfizmu) struktura algebraiczna taka, że aksjomaty te są spełnione. Strukturę tę nazywamy algebrą liczb hiperrzeczywistych.

=== Konstrukcja liczb hiperrzeczywistych ===
Liczby hiperrzeczywiste można skonstruować jako nieskończone ciągi liczb rzeczywistych <math>(a_0,a_1,\dots)</math><ref>{{Cytuj pismo |nazwisko = Kanovei |imię = Vladimir |nazwisko2 = Shelah |imię2 = Saharon |tytuł = A definable nonstandard model of the reals |url = http://web.archive.org/web/20040718193100/http://shelah.logic.at/files/825.pdf |czasopismo = Journal of Symbolic Logic |wolumin = 69 |rok = 2004 |strony = 159–164}}</ref>. Liczba rzeczywista zostaje utożsamiona z ciągiem stałym i tym samym liczby hiperrzeczywiste obejmują wszystkie liczby rzeczywiste.

Dodawanie jest zdefiniowane jako sumowanie kolejnych wyrazów ciągów:
: <math>(a_0, a_1, a_2, \dots) + (b_0, b_1, b_2, \dots) = (a_0 +b_0, a_1+b_1, a_2+b_2, \dots)</math>
Podobnie mnożenie:
: <math>(a_0, a_1, a_2, \dots) \cdot (b_0, b_1, b_2, \dots) = (a_0 \cdot b_0, a_1 \cdot b_1, a_2 \cdot b_2, \dots)</math>

Wprowadzenie porządku nie jest już tak proste i wymaga zdefiniowania pojęcia [[Filtr (matematyka)|ultrafiltru]].
Ultrafiltr <math>U</math> to rodzina podzbiorów danego zbioru <math>X,</math> spełniająca następujące warunki:
# <math>\varnothing \notin U</math>
# <math>A,B \in U \Rightarrow A\cap B \in U</math>
# <math>A \in U \wedge A\subseteq B\subseteq X \Rightarrow B \in U</math>
# <math>A\subset X \Rightarrow A\in U \vee X\setminus A \in U</math>
Niech <math>U_\mathbb{N}</math> będzie niegłównym ultrafiltrem na zbiorze liczb naturalnych z zerem.

Wówczas <math>(a_0, a_1, a_2, \dots) \leqslant (b_0, b_1, b_2, \dots) \iff \{i\colon a_i \leqslant b_i\} \in U_\mathbb{N}</math>

Dwie liczby hiperrzeczywiste <math>a</math> i <math>b</math> są sobie równe, jeśli <math>a\leqslant b</math> i <math>b\leqslant a.</math>

Z [[Aksjomat wyboru|aksjomatu wyboru]] wynika, że istnieje nieskończenie wiele ultrafiltrów dla liczb naturalnych. Nie ma znaczenia, który wybierzemy, jeśli tylko będziemy się konsekwentnie tego trzymać, otrzymane algebry liczb hiperrzeczywistych będą izomorficzne.

== Liczby nadrzeczywiste ==
{{osobny artykuł|liczby nadrzeczywiste}}
Liczby nadrzeczywiste (ang. ''surreal numbers'') są klasą obiektów, spełniającą aksjomaty ciała, która zawiera w sobie zarówno liczby rzeczywiste, hiperrzeczywiste, jak i porządkowe. Tak jak liczby hiperrzeczywiste klasa ta zawiera również wielkości nieskończone oraz nieskończenie małe (infinitezymalne). Klasa liczb nadrzeczywistych oryginalnie została oznaczona<ref>{{Cytuj |autor = Norman L. Alling |tytuł = Conway’s Field of Surreal Numbers |wydawca = American Mathematical Society |wolumin = 287 |s = 365–386 |język = en |doi = 10.2307/2000416 |jstor = 2000416 |data = Jan 1985}}</ref> '''No''', jednak ze względu na podobieństwo do oznaczenia liczb naturalnych z zerem <math>\mathbb{N}_0</math> poniżej użyty został symbol <math>F.</math>

=== Aksjomatyka liczb nadrzeczywistych ===
Trójka <math>(F,\;<,\; b)</math> jest systemem liczb nadrzeczywistych, jeśli:
* <math><</math> jest [[Porządek liniowy|porządkiem liniowym]] w <math>F</math>
* <math>b</math> (tzw. '''funkcja urodzinowa''') jest funkcją określoną w <math>F,</math> o wartościach będących liczbami porządkowymi.
* Niech <math>A</math> i <math>B</math> będących podzbiorami <math>F</math> takimi, że <math>\bigwedge_{x\in A}\bigwedge_{y\in B} x<y.</math>
: Wówczas istnieje <math>z\in F,</math> takie że:
:: <math>\bigwedge_{x\in A}\bigwedge_{y\in B} x<z<y</math>
: i jeśli liczba porządkowa <math>a</math> jest większa od każdego <math>b(u)</math> dla <math>u\in A \cup B,</math> to <math>b(z)\leqslant a.</math>
Funkcja urodzinowa reprezentuje w pewnym sensie kolejne generacje liczb nadrzeczywistych.

=== Konstrukcja liczb nadrzeczywistych ===
Ich konstrukcja oparta jest na uogólnieniu idei przekrojów Dedekinda, [[#Konstrukcja przy pomocy przekrojów Dedekinda|zastosowanej]] przy konstrukcji liczb rzeczywistych.

Klasa liczb nadrzeczywistych wraz z porządkiem liniowym i funkcją urodzinową jest tworzona etapami, metodą [[Indukcja pozaskończona|indukcji pozaskończonej]].

# W każdym etapie tworzone liczby nadrzeczywiste są parami zbiorów <math>(L,R)</math> liczb nadrzeczywistych utworzonych wcześniej, przy czym żadna liczba należąca do <math>L</math> nie jest większa lub równa żadnej liczbie należącej do <math>R,</math> a wartość funkcji urodzinowej liczby <math>(L,R)</math> jest większa od wartości funkcji urodzinowej dla każdej liczby w <math>L</math> i <math>R.</math>
# Jeśli <math>x=(X_L,X_R)</math> i <math>y=(Y_L,Y_R)</math> reprezentują liczby nadrzeczywiste, to <math>x\leqslant y</math> wtedy i tylko wtedy, gdy
#:: <math>\bigwedge_{x\in X_L} \bigwedge_{y\in Y_L} x\leqslant y</math>
#: oraz
#:: <math>\bigwedge_{x\in X_R} \bigwedge_{y\in Y_R} x\leqslant y</math>
#: Definicja ta odwołuje się do porządku ustalonego we wcześniejszych krokach indukcji
# Dwie liczby nadrzeczywiste <math>x</math> i <math>y</math> są równe, jeśli <math>x\leqslant y\leqslant x.</math>
# Indukcję rozpoczynamy od pary <math>(\empty,\empty)</math> utożsamianej z liczbą naturalną 0.
# W danym kroku indukcji do liczb nadrzeczywistych dołączamy wszystkie liczby możliwe do utworzenia w sposób opisany w punkcie 1.

Para <math>(L,R)</math> reprezentuje liczbę nadrzeczywistą większą od każdej liczby w <math>L</math> i mniejszą od każdej liczby w <math>R.</math>

; Działania arytmetyczne

Dodawanie jest w tej konstrukcji zdefiniowane następująco:
: <math>x + y = (\{X_L + y \cup x + Y_L\} , \{X_R + y \cup x + Y_R\}),</math>

gdzie:
: <math>X + y = \{x + y : x \in X\}</math>

oraz
: <math>x + Y = \{x + y : y \in Y\}</math>

[[Negacja]] liczby:
: <math>-x=(\{-X_R\},\{-X_L\}),</math>

gdzie <math>-X = \{- x : x \in X\}</math>

Mnożenie:
: <math>\begin{align}
xy = (&\{(X_L y + x Y_L - X_L Y_L) \cup (X_R y + x Y_R - X_R Y_R)\}, \\
      &\{(X_L y + x Y_R - X_L Y_R) \cup (X_R y + x Y_L - X_R Y_L)\}),
\end{align}</math>

gdzie:
: <math>XY = \{xy : x \in X \wedge y \in Y\},</math> oraz
: <math>Xy = X\{y\}</math> i <math>xY = \{x\}Y.</math>

=== Niektóre podklasy liczb nadrzeczywistych ===
* Liczby rzeczywiste. Przykładowo:
: <math>\pi=\left(\left\{3, \frac{25}{8}, \frac{201}{64}, \dots\right\},\left\{ \dots, \frac{101}{32},\frac{51}{16},\frac{13}{4}, \frac{7}{2}, 4\right\}\right)</math>
* Liczby porządkowe.
* Liczby infinitezymalne, większe od zera, ale mniejsze od dowolnej liczby dodatniej, np.
: <math>\varepsilon=\left( \{0\},\left\{ \dots, \frac{1}{16}, \frac{1}{8}, \frac{1}{4}, \frac{1}{2}, 1 \right\}\right)</math>

== Uwagi ==
{{Uwagi}}

== Przypisy ==
{{Przypisy}}

== Bibliografia ==
* {{cytuj książkę |nazwisko = Grzegorczyk |imię = Andrzej |autor link = Andrzej Grzegorczyk |tytuł = Zarys arytmetyki teoretycznej |seria = [[Biblioteka Matematyczna]] |data = 1971 |wydawca = [[Wydawnictwo Naukowe PWN|PWN]] |isbn = 83-01-05326-7 |issn = 0519-8356}}
* {{cytuj książkę |nazwisko = Kaye |imię = Richard |tytuł = Models of Peano arithmetic |data = 1991 |wydawca = Oxford University Press |isbn = 0-19-853213-X}}
* {{cytuj książkę |nazwisko = Klukowski |imię = Jerzy |nazwisko2 = Nabiałek |imię2 = I. |tytuł = Algebra dla studentów |data = 2004 |wydanie = 4 |isbn = 83-204-3124-7 |wydawca = [[Wydawnictwa Naukowo-Techniczne]]}}
* {{cytuj książkę |nazwisko = Leja |imię = Franciszek |autor link = Franciszek Leja |tytuł = Rachunek różniczkowy i całkowy |miejsce = Warszawa |wydawca = PWN |data = 1976}}
* {{cytuj książkę |nazwisko = Maurin |imię = Krzysztof |autor link = Krzysztof Maurin |tytuł = Analiza – Część I – Elementy |miejsce = Warszawa |wydawca = PWN |data = 1976 |isbn = 978-83-01-09939-8}}
* {{cytuj książkę |nazwisko = Musielak |imię = Helena |nazwisko2 = Musielak |imię2 = Julian |tytuł = Analiza matematyczna |miejsce = Poznań |wydawca = Wydawnictwo Naukowe UAM |data = 2000 |isbn = 83-232-1049-7}}
* {{cytuj książkę |nazwisko = Reinhardt |imię = Fritz |nazwisko2 = Soeder |imię2 = Heinrich |tytuł = Atlas matematyki |wydawca = Prószyński i S-ka |data = 2003 |isbn = 83-7469-189-1 |odn = tak}}
* {{cytuj książkę |nazwisko = Rutkowski |imię = Jerzy |tytuł = Algebra abstrakcyjna w zadaniach |data = 2006 |wydanie = 5 |wydawca = PWN |isbn = 83-01-14388-6}}
* {{cytuj książkę |nazwisko = Tarski |imię = Alfred |autor link = Alfred Tarski |nazwisko2 = Givant |imię2 = Steven |tytuł = A Formalization of Set Theory without Variables |data = 1987 |wydawca = AMS Colloquium Publications |isbn = 0-8218-1041-3}}, vol. 41. rozdział 7.6
* {{cytuj książkę |nazwisko = Miś |imię = Bogdan |autor link = Bogdan Miś |tytuł = Tajemnicza liczba e i inne sekrety matematyki |wydawca = Wydawnictwa Naukowo-Techniczne |miejsce = Warszawa |data = 1989 |isbn = 83-204-0920-9}}
* {{cytuj książkę |nazwisko = Tall |imię = David |tytuł = How Humans Learn to Think Mathematically |wydawca = Cambridge University Press |miejsce = Cambridge |data = 2013 |isbn = 978-1-107-66854-6}}

{{Kontrola autorytatywna}}

[[Kategoria:Liczby]]
[[Kategoria:Teoria mnogości]]
[[Kategoria:Algebra]]
[[Kategoria:Aksjomaty matematyczne]]
[[Kategoria:Byłe Artykuły na Medal]]