Sistema di assiomi posti alla base di una scienza deduttiva.
• Mat. - Studio analitico, preliminare
all'esposizione logica di una branca della matematica, per stabilire le nozioni
primitive. Nella logica matematica moderna, l'elaborazione di un
a. si
basa sulla formulazione di una teoria scientifica attraverso un sistema di
simboli, stabilendo le proprietà di tali simboli e le regole del
loro uso mediante i rapporti con altri simboli enunciati dagli
a.