Por ejemplo, en la lógica proposicional, la fórmula "p" no es un teorema, y tampoco lo es su negación, de modo que eso basta para mostrar que no es sintácticamente completa.