Una condición de consistencia de un conjunto de axiomas o fórmulas es que dicho conjunto admita una interpretación, es decir, que las fórmulas sean realizables/interpretable en un conjunto efectivamente construible.