GLOSSARIO
TECNICO
|
|||||||||
Concetto
primitivo: concetto intuitivo, evidente, ed indefinibile. es: concetto primitivo di "punto"; concetto primitivo di "retta"; concetto primitivo di "piano". |
|||||||||
Assioma:
proposizione evidente di per sè, che non ha bisogno di dimostrazione
e che può essere assunta come fondamento di un processo dimostrativo. nota: "assioma" e "postulato" possono essere considerati sinonimi. |
|||||||||
Postulato: proposizione non immediatamente evidente, anche se dimostrabile, che si chiede di assumere come vera a fondamento di un processo dimostrativo. | |||||||||
Teorema: proposizione la cui validità viene dimostrata nell'ambito di una data teoria, per mezzo di procedimenti logici, e partendo dagli assiomi fondamentali della teoria stessa. | |||||||||
Corollario: teorema che si deduce immediatamente da un altro noto e pertanto non richiede dimostrazione. | |||||||||
|
|||||||||
|