Translate a legal argument into any extension of ZF, I challenge you. FYI there still are sentences inexpressible in a second order calculus, which has roughly the same expressive power as set theory. This single fact shows that the title goes a little bit too far.