DEFINIZIONI

Nel linguaggio matematico si evitano ridondanze e dettagli superflui: ogni enunciato considera esattamente tutte e sole le parole che servono per esprimerlo. Ecco che allora ogni parte del discorso ha un preciso motivo d'essere. 

Per esempio, l'articolo indeterminativo ha la funzione di quantificatore universale: indicando un ente in un colpo solo si riferisce a tutti e soli gli enti che sono come lui, hanno cioè la stessa comune caratteristica. 

Esempio: in un triangolo, la somma degli angoli interni misura 180°.  Ciò significa che in ogni triangolo, ciò accade o, altrimenti detto, che la condizione di essere un triangolo è sufficiente affinché la somma degli angoli interni misuri 180°.

In ogni definizione deve essere perciò inequivocabile la caratteristica che accomuna tutti e soli gli enti considerati.