theorem

<logic> A wff that is proved or provable. Axioms are special cases of theorems. Notation: |- A (A is a theorem); or |- SA (A is a theorem in system S).

See antitheorem, proof

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: theism « The Ism Book « theodicy « theorem » theorem schema » theoretical definition » theory