assiomàtico

agg. (pl. m. -ci) [sec. XVII; dal greco axiōmatikós]. Che ha valore di assioma, certo, evidente, indiscutibile: verità assiomatica. § Nelle discipline scientifiche e in logica matematica, teoria assiomatica o sistema assiomatico, teoria o sistema che presentano una forma assiomatizzata. In particolare si parla di teoria assiomatica quando siano stabiliti: l'alfabeto di segni con cui se ne formano le formule; le regole di formazione delle formule stesse; l'insieme delle formule che ne costituiscono gli assiomi; l'insieme delle regole deduttive che ne consentono di derivare i teoremi.