Em matemática, um sistema axiomático é um conjunto qualquer de axiomas, que podem ser usados, todos ou só alguns, para a derivação lógica de teoremas. Uma teoria matemática consiste de um sistema axiomático e de todos os teoremas dele derivados.

Lógica

Axiomensystem | Axiomatic system | Sistema axiomático | Sistema assiomatico | Формальная теория | 公理系统