In scientific research, one tries, from a large body of knowledge, to extract the most fundamental propositions to use as an axiom system. All axiom systems developed in mathematics and science have evolved in many stages rather than being created all at once.
KeywordsFormal Theory Axiom System Atomic Formula Formal Consequence Maximal Contraction
Unable to display preview. Download preview PDF.