In the general case, the comparability of cardinals relies on the axiom of choice. In other words, they are comparable, but they require a slightly unintuitive

In the general case, the comparability of cardinals relies on the axiom of choice. In other words, they are comparable, but they require a slightly unintuitive foundation to establish that they are always comparable.