Axiomatic Systems
corollary
A logically valid statement that is comes naturally from an existing theorem or axiom.
proposition
A statement that can be assigned a value of true or false within a logical system.
theorem
A valid statement that can be logically derived from axioms and other theorems.
postulate
Another term for axiom. The foundational set of statements in a logical system that are assumed to be true.
applied mathematics
Branch of mathematics dedicated to using math to solve problems in other domains such as human sciences, natural sciences, etc.
operators
Defined within a system, these are symbols that are used in equations to modify values. Examples include items such as " + ", " - ", " % ", etc.
formula
In math, a way of representing a relationship using symbols. Usually they are in the form of an equation and are tied to a procedure to solve real world problems.
axiom
The foundational set of statements in a logical system that are assumed to be true.
derive
To logically come to a conclusion through the process of deduction.