Higher-Order Logic or Set Theory: A False Dilemma