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