Es decir, suponiendo que dicha teoría no diera lugar nunca a contradicciones (consistencia) entonces siempre habría una proposición tal que ni ella ni su contrario son demostrables.