After studying logic and set theory, I realized that one of the importance of set theory is to be able to do higher-order logic in it.
However, I don’t understand the functional difference between a higher-order logic at the logic level and set theory on first-order logic.