Es decir, la teoría asociada al sistema axiomático formal será esencialmente incompleta.