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