Axiom: Porovnání verzí
Smazaný obsah Přidaný obsah
m Editace uživatele 89.203.209.143 (diskuse) vráceny do předchozího stavu, jehož autorem je 31.186.227.45 |
neexistuje |
||
Řádek 24:
=== Logické axiomy ===
{{Viz též|Hilbertovský kalkulus}}
Logické axiomy vyjadřují základní pravidla rozumového odvozování. Jsou formulovány v [[jazyk (logika)|jazyce]] bez mimologických symbolů a nevztahují se přímo k žádné konkrétní teorii. Jsou (v daném systému) pevně dány a přidávají se k vlastním axiomům každé teorie.
| |||