|
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. | |||||||||
|
|||||||||
|