completeness 2

rzeczownikdomena: własność
Princeton WordNet [ver.3.1]
AngielskiAngielski
Definicja

(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system

FENG