User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-1605058-20180203102941/@comment-30118230-20180203141721

So does the Axiom of Choice not matter then? (when it comes to the expressiveness of the language,I mean)