Definizioni di assiomatica

singolare femminile in logica matematica, metodo di formalizzazione di una teoria (matematica, logica, scientifica) fondato su un insieme di assiomi a partire dal quale, mediante regole di inferenza, si deducono come teoremi le proposizioni della teoria.