Un conjunto de axiomas para una teoría es un subconjunto de enunciados tal que a partir de ellos y de ciertas reglas lógicas de deducción puede demostrarse cualquier encunciado dentro de la teoría.