The Axiomatic System
Set of axioms from which some or all axioms can be used in conjunction to [“modern science”~logically derive theorems”].
An Axiomatic system is any set of axioms from which some or all axioms can be used in conjunction [: occurrence together in time or space : CONCURRENCE],
: a complex sentence in logic true if and only if each of its components is true see Truth Table —>to logically derive theorems.
A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems.
In truth, a axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system that describes a set of sentences that is closed under logical implication.
Q’s for Research: The Prime Notations Journal 