Loading [MathJax]/extensions/AssistiveMML.js

axiomatická soustava





Vytvořeno: 14. 3. 2000
Aktualizováno: 25. 5. 2006
Autor: -red-

, deduktivní soustava, teorém, úplnost axiomatické soustavy.