> It is funny that WM has problems with the axiom of choice.
It is funny that some matheologians claim to have not. But they would sell their grandmother (like they besmirch mathematics by accepting unthinkable thoughts, unnameable names and finished infinity) if they could avoid to recognize the contradictions in matheology in public.
Émile Borel published a book, Les Paradoxes de l'Infini (3rd ed., Paris, 1946), which on p. 210 said that the Banach-Tarski paradox amounts to an inconsistency proof of the Axiom of Choice. Certainly a crank in the eyes of matheologians. But that is rather an honour.