Es decir, existen diferentes formas de extender una lógica de primer orden a una lógica de segundo orden entre ellas: