Page "Axiom" Paragraph 16
from
Wikipedia
A deductive system consists of a set of logical axioms, a set of non-logical axioms, and a set of rules of inference.
A desirable property of a deductive system is that it be complete.
A system is said to be complete if, for all formulas,
Page 1 of 1.
1.836 seconds.