To be proved, a theorem must be expressible as a precise, formal statement.
Για να είναι δυνατό να αποδειχθεί, ένα θεώρημα θα πρέπει να είναι δυνατό να εκφραστεί ως μια ακριβής, τυπική πρόταση.