lógica de segundo orden Synonym