La teoría de modelos en lógicas de orden superior o lógicas infinitarias está obstaculizada por el hecho de que la completitud no se cumple para estas lógicas.