Formal theorem

Redirect to:

• Theorem#Theorems in logic