1.Previous
3.Next

theory is then called a theorem of the theory. In many deductive systems there is usually a subset that is called "the set of axioms" of the theory $T$, in which case the deductive system is also called an "axiomatic system". By definition, every axiom is automatically a theorem. A first-order theory is a set of first-order sentences (theorems) recursively

1.Previous
3.Next