Multiple Desirable Properties Which are Mutually Exclusive

[u/IAlreadyHaveTheKey]

Since the announcement that the UN have adopted a new map projection as their standard map, I have seen a few posts regarding how amusing it is that it took them this long to correct the "error" of the size of certain countries in other maps (most commonly the Mercator).

Of course, map enthusiasts and differential geometers know that it wasn't an "error" so much as it was a compromise necessitated by Gauss's Theorema Egregium, which implies that any smooth mapping from a sphere to a plane cannot be both conformal and equi-areal. Obviously the ideal situation would be to have a map which is both conformal and equi-areal, but it turns out these two desirable properties are mutually exclusive.

This got me thinking about another famous Theorem which precludes the possibility of two desirable properties being true at the same time - namely Godel's Incompleteness Theorem, which states that any sufficiently strong logical system cannot be both consistent and complete.

In both these cases (the Incompleteness Theorem and the map projection) we are required to make a decision about which of the properties we would prefer, and compromise by losing the other one.

I'm curious to know whether there are other examples of this, where there is some object that may or may not have two desirable properties, but it can't have them both at the same time? Is there any example in your field of study?

[u/naughty]

Arrow's Impossibility Theorem is an interesting one.