La lógica de segundo orden contine fórmulas de primer orden y fórmulas de segundo orden.