Besonderhede van voorbeeld: 6121497466611426882

English

Second-order logic is more expressive than first-order logic.

Spanish

La lógica de segundo orden tiene un poder expresivo mayor que la lógica de primer orden.