-This is an interesting example. You state a question in mathematical -English, and then criticise ZF for being able to express this question, -while category theory cannot. i at least am curious just what is this mathematical question you claim to have in mind which zf can express but which category theory can not. obviously it wasn't "Does any simple group appear as a zero of the Riemann Zeta function?" since that is mere gibberish and not a mathematical question at all. zf was being criticized for being unable to not express this non-question, and category theory was being praised for having the option to express "it" (should someone actually bother to give it a real meaning) or not. whatever was the real point that you were trying to argue might still be interesting to hear but it's hard to even know what that point might have been in light of the apparent misunderstanding you've exhibited here.