Besonderhede van voorbeeld: -6994437499782582582

English

This theorem does not necessarily hold for extensions of first-order logic.

Spanish

El teorema no vale para cualquier extensión de la lógica de primer orden.