Verze z 23. 12. 2019, 14:28 editovat David V. (diskuse \| příspěvky) Prověření uživatelé, Patroláři, Revertéři 142 448 editací m Typografie značka: editace z Vizuálního editoru ← Přejít na předchozí porovnání		Verze z 20. 5. 2022, 08:21 editovat zrušit editaci JAnDbot (diskuse \| příspěvky) Roboti 1 711 609 editací m {{Autoritní data}}; kosmetické úpravy Přejít na další porovnání →
Řádek 12: * [[Robinsonova aritmetika]] * [[Formální teorie grup]] * prázdná teorie – teorie, která nemá žádné vlastní axiomy (v logice s [[rovnost (matematika)\|~~rovnost~~rovností]]í se tato teorie nazývá [[Teorie čisté rovnosti]]). == Související články == Řádek 19: * [[Formule (logika)\|Formule]] * [[Axiom]] {{Autoritní data}} {{Portály\|Matematika}} [[Kategorie:Matematická logika]]

Formální teorie: Porovnání verzí