assiomatizzazione

In matematica, un sistema assiomatico (o assiomatica) è un insieme di assiomi che possono essere usati per dimostrare teoremi. Una teoria matematica consiste quindi in una assiomatica e tutti i teoremi che ne derivano.