Theorem

1. A verbal or algebraic statement of proof capable of being framed in the form: 'if' (hypothesis follows or hypothetical situation); 'then' (conclusion follows). This logic is very important in computer programming and mathematics.

2. A deductive theory.