Yes, the argument is more complicated, and does require the axiom of choice.

However, to me the "basic principle" is a similar argument. The important thing (for me) was to understand this is an argument about slicing up infinities in an "Infinite comb" type way, rather than anything resembling a "cut".