Verze z 19. 10. 2018, 19:42 editovat 89.24.40.204 (diskuse) →‎Motivace pro axiomatickou metodu: Takové tvrzení bylo nepotřebné a nedoložené. značka: editace z Vizuálního editoru ← Přejít na předchozí porovnání		Verze z 19. 10. 2018, 19:49 editovat zrušit editaci Martin Tauchman (diskuse \| příspěvky) Prověření uživatelé, Revertéři 7 710 editací m lf značka: editace z Vizuálního editoru Přejít na další porovnání →
Řádek 18: === Vlastní axiomy === Axiom [[~~teorie~~Formální ~~(logika)~~teorie\|teorie]] ''T'' v [[jazyk (logika)\|jazyce]] ''L'' je každá [[formule (logika)\|formule]] <math>\varphi</math> jazyka ''L'' taková, že <math>\varphi \in T</math> (tj. z formálního hlediska je tedy teorie množina svých (vlastních) axiomů). Takové formuli se také někdy říká vlastní axiom ''T''. Na vlastní axiomy teorií tedy nejsou kladeny žádné jiné požadavky než to, že musí jít o správně utvořené formule. Proto axiomatické teorie mohou být v podstatě také zcela libovolné. Zvlášť poznamenejme, že [[prázdná množina]] je také teorií (dokonce pro každý jazyk) – tato teorie se nazývá prázdná teorie. Řádek 31: == Odkazy == === Související články === * [[Gödelovy věty o neúplnosti\|Gödelova věta o neúplnosti]] * [[~~Zermelova-Fraenkelova~~Zermelova–Fraenkelova teorie množin\|Axiomatizace Zermelo-Fraenkelovy teorie množin]] * [[~~Gödel-Bernaysova~~Von Neumannova–Bernaysova–Gödelova teorie množin\|Axiomatizace Gödel-Bernaysovy teorie množin]] * [[Peanova aritmetika\|Axiomatizace Peanovy aritmetiky]]

Axiom: Porovnání verzí