Otra propiedad metateórica distinta es la completitud semántica fuerte, que dice: si en un sistema formal S, "A" es una fórmula bien formada cualquiera que es una consecuencia semántica de un conjunto formula_3 de fórmulas, entonces existe una derivación de "A" a partir de formula_3.