Banach Tarski Banach Tarski.
Seriously though, you can do math without invoking the axiom of choice. The formulation of probability doesn't strictly depend on it.