What_is_a_Mathematical_Logic_lparen_Q_rparen_.html -- ACL2 Version 6.3

## What is a Mathematical Logic?

A mathematical logic is a formal system of formulas (axioms) and rules for deriving other formulas, called theorems.

A proof is a derivation of a theorem. To see a concrete proof tree, click here.

Why should you care? The neat thing about Theorems is that they are ``true.'' More precisely, if all the axioms are valid and the rules are validity preserving, then anything derived from the axioms via the rules is valid.

So, if you want to determine if some formula is true, prove it.