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.