Oración 1: este primer teorema demostraba que aceptando que dicha teoría es consistente entonces necesariamente debe ser incompleta
Oración 2: 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
Conector: es decir,
Relación: entailment
Género: articles