En general el teorema de Löwenheim-Skolem no se sostiene en lógicas más fuertes, como la lógica de segundo orden.