"Coders have individual preferences about programming languages. So do mathematicians for their foundations.

But still, some programming languages are objectively better at some things. Likewise for mathematical foundations."