Los principales resultados relacionados con la consistencia y completitud fueron demostrados por Kurt Gödel: