Este primer teorema demostraba que aceptando que dicha teoría es consistente entonces necesariamente debe ser incompleta.