I termini primitivi sono elementi …
che non si dimostrano
che è necessario definire
la cui definizione è già nota
che non si definiscono