ASSIOMI
In una lezione precedente abbiamo visto come per DIMOSTRARE una proprietà si effettua un ragionamento logico che permette, partendo dall'IPOTESI di giungere alla TESI: in pratica si tratta di una serie di IMPLICAZIONI LOGICHE che confermano che le ipotesi implicano la tesi.
Tuttavia esistono delle PROPOSIZIONI che si accolgono come VERE SENZA alcuna DIMOSTRAZIONE: esse prendono il nome di ASSIOMI.
Sono, ad esempio, ASSIOMI:
Essi sono detti ENTI PRIMITIVI.
Invece, gli ENTI NON PRIMITIVI sono definiti spesso partendo dagli ENTI PRIMITIVI. Ad esempio, in geometria si dice che una figura geometrica è un qualsiasi gruppo di punti.
Quindi non si definisce il punto che è un ente primitivo. La figura geometrica, invece, è un ente non primitivo che viene definita facendo riferimento all'ente primitivo punto.
