Page "Theorem" Paragraph 12

Different sets of derivation rules give rise to different interpretations of what it means for an expression to be a theorem.

Some derivation rules and formal languages are intended to capture mathematical reasoning ; the most common examples use first-order logic.

Other deductive systems describe term rewriting, such as the reduction rules for λ calculus.