| nazwa = Teoria liczb
| tytuł = [[Teoria liczb]]
| opis1 = ogólne typy [[Liczba|liczb]]
| spis1 =
* [[Liczby naturalne|naturalne]]
* [[Liczby całkowite|całkowite]]
** [[Parzystość liczb|parzyste i nieparzyste]]
* [[Liczby wymierne|wymierne]]
** [[Ułamek egipski|ułamki egipskie]]
* [[Liczby rzeczywiste|rzeczywiste]]
** [[Znak liczby|dodatnie i ujemne]]
** [[Liczby niewymierne|niewymierne]]

| opis2 = [[Relacja (matematyka)|relacje]]
| opis2.1 = [[Dzielnik|podzielność]]
| spis2.1 =
* [[dzielnik]] i [[wielokrotność]]
** [[Cecha podzielności|cechy podzielności]]

| opis2.2 = zdefiniowane podzielnością
| spis2.2 =
* [[czynnik pierwszy]]
* [[Liczby względnie pierwsze|względna pierwszość]]
* [[Arytmetyka modularna|kongruencje]]
* [[liczby towarzyskie]]
** [[Liczby zaprzyjaźnione|zaprzyjaźnione]]

| opis3 = [[Działanie algebraiczne|działania]]
| spis3 =
* [[największy wspólny dzielnik]] (NWD)
** [[algorytm Euklidesa]]
* [[najmniejsza wspólna wielokrotność]] (NWW)
* [[symbol Legendre’a]]
* [[symbol Jacobiego]]

| opis4 = [[liczby pierwsze]]
| opis4.1 = podstawy
| spis4.1 =
* [[lemat Euklidesa]]
* [[liczby złożone]]

| opis4.2 = [[Test pierwszości|testy pierwszości]]
| spis4.2 =
* [[Test pierwszości AKS|AKS]]
* [[Test pierwszości APR|APR]]
* [[Cyklotomiczny test pierwszości|cyklotomiczny]]
* [[Test pierwszości ECPP|ECPP]]
* [[Test pierwszości Fermata|Fermata]]
* [[Test Lucasa-Lehmera|Lucasa-Lehmera]]
* [[Test Millera-Rabina|Millera-Rabina]]
* [[Test pierwszości Solovaya-Strassena|Solovaya-Strassena]]
* [[certyfikat pierwszości]]

| opis4.3 = sita
| spis4.3 =
* [[Sito Eratostenesa|Eratostenesa]]
* [[Sito Atkina|Atkina]]

| opis4.4 = [[rozkład na czynniki|faktoryzacja]]
| spis4.4 =
* [[zasadnicze twierdzenie arytmetyki]]
* [[algorytm]]y
** [[Algorytm Fermata|Fermata]]
** [[Algorytm faktoryzacji rho Pollarda|rho Pollarda]]
** [[Algorytm faktoryzacji Shora|Shora]]
** [[GNFS]]
** [[metoda sita liczbowego]]
** [[sito kwadratowe]]

| opis4.5 = [[Hipoteza|hipotezy]]
| spis4.5 =
* [[Hipoteza Gilbreatha|Gilbreatha]]
* [[Hipoteza Goldbacha|Goldbacha]]
** [[Słaba hipoteza Goldbacha|słaba]]
* [[Hipoteza liczb pierwszych bliźniaczych|liczb pierwszych bliźniaczych]]
* [[Hipoteza Pólyi|Pólyi]]

| opis5 = [[Równanie diofantyczne|równania<br />diofantyczne]]
| opis5.1 = [[Równanie liniowe|liniowe]]
| spis5.1 =
* [[tożsamość Bézouta]]

| opis5.2 = [[Równanie kwadratowe|kwadratowe]]
| spis5.2 =
* [[Trójki pitagorejskie|równanie Pitagorasa]] ([[Trójki pitagorejskie|trójek pitagorejskich]])
* [[równanie Pella]]

| opis5.3 = wyższych stopni
| spis5.3 =
* [[Wielkie twierdzenie Fermata|równanie Fermata]] ([[wielkie twierdzenie Fermata]])
* [[Twierdzenie Mihăilescu|równanie Catalana]] ([[twierdzenie Mihăilescu]])

| opis5.4 = [[Układ równań|układy równań]]
| spis5.4 =
* [[cegiełka Eulera]]
** [[prostopadłościan idealny]]

| opis5.5 = powiązane zagadnienia
| spis5.5 =
* [[dziesiąty problem Hilberta]]

| opis6 = twierdzenia<br />[[Arytmetyka modularna|arytmetyki modularnej]]
| spis6 =
* [[Chińskie twierdzenie o resztach|chińskie o resztach]]
* [[Twierdzenie Eulera (teoria liczb)|Eulera]]
** [[Małe twierdzenie Fermata|małe Fermata]]
* [[Twierdzenie Lagrange’a (równania kongruencyjne)|Lagrange’a]]
* [[Twierdzenie o logarytmie dyskretnym|o logarytmie dyskretnym]]

| opis7 = inne zagadnienia
| spis7 =
* [[hipoteza ABC]]
* [[problem Collatza]]
* [[Ułamek łańcuchowy|ułamki łańcuchowe]]

| opis8 = [[Twierdzenie|twierdzenia]] limitacyjne
| spis8 =
* [[Twierdzenia Gödla|pierwsze Gödla o niezupełności]]

| kategoria = liczby