Mind-ing

A formal system, as for a theory upon whose well-formed sentences are expressively formulated of a logical calculus, in which of axioms or rules of a particular terminological correspondence is intuitively positioned within the structured principles of that theory. The theory is intended to be framed in the language of a calculus, e.g., first order predicate calculus, set theory, mathematics, mechanics, and many others are axiomatically developed, making possibly the logical analysis of such matters as the independence of various axioms, and the relation between one theory and another.