Theorem (logic)
Redirect to:
Theorem#Theorems in logic