noun. With regard to mathematics and logic, a proposition or formula which can be figured out within a sequence of practical steps.
noun. With regard to mathematics and logic, a proposition or formula which can be figured out within a sequence of practical steps.