Nevertheless, theorems are usually expressed in natural language rather than in a completely symbolic form, with the intention that the reader can produce a formal statement from the informal one.
Παρ' όλα αυτά, τα θεωρήματα εκφράζονται συνήθως σε φυσική γλώσσα αντί σε κάποια τελείως συμβολική μορφή, με την πρόθεση ότι ο αναγνώστης μπορεί να παράγει την τυπική διατύπωση από την άτυπη.