| Term | Definition |
| axiom | The foundational set of statements in a logical system that are assumed to be true. |
| postulate | Another term for axiom. The foundational set of statements in a logical system that are assumed to be true. |
| theorem | A valid statement that can be logically derived from axioms and other theorems. |
| 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. |
| 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. |
| operators | Defined within a system, these are symbols that are used in equations to modify values. Examples include items such as " + ", " - ", " % ", etc. |
| applied mathematics | Branch of mathematics dedicated to using math to solve problems in other domains such as human sciences, natural sciences, etc. |
| derive | To logically come to a conclusion through the process of deduction. |