obtained by the inference rules of the system applied to the set of axioms.

General theories (as expressed in formal language)

When defining theories for foundational purposes, additional care must be taken, as normal set-theoretic language may not be appropriate.

The construction of a theory begins by specifying a definite non-empty conceptual class , the elements of which are called statements. These initial statements are often called the primitive elements or elementary

1.Previous
3.Next