axiomatic basis

(from the article `formal logic`) An axiomatic basis consists of: (1) a list of primitive symbols, together with any definitions that may be thought convenient,(2) a set of formation ... The axiomatic basis given in Axiomatization of LPC also requires the following modification: in axiom schema 2 any term is allowed to replace a when ....
Found on http://www.britannica.com/eb/a-z/a/132
No exact match found