Proofs employ logic but usually include some amount of natural language which usually admits some ambiguity.
Οι αποδείξεις χρησιμοποιούν τη λογική αλλά συνήθως περιέχουν σε κάποιο βαθμό φυσική γλώσσα, που συνήθως επιτρέπει κάποια ορισμένη αμφισημία.