Por ejemplo, las lógicas de segundo orden (con semántica estándar) son incompletas.