un sistema formal es consistente syss ninguna fbf de la forma "A & ~A" es un teorema; o syss no toda fbf del sistema es un teorema o (en el sentido de Emil Leon Post, aplicable al calculo de oraciones) syss ninguna letra de oracion sola es un teorema.
(Haack, 1978).