A partir de los axiomas, y de reglas de inferencia, han de deducirse todas las demás proposiciones de una teoría dada.