# First-order logic advantage over second-order logic

What is the advantage of using first-order logic over second-order logic? Second-order logic is more expressive and there is also a way to overcome Russell's paradox...

So what makes first-order logic standard for set theory?

Thanks.

-
Completeness theorem. – Asaf Karagila May 6 '12 at 13:45