math

What are your thoughts on the Axiom of Choice?

adventurer, mathematician, joker, the mfer behind the mask

I come from a constructivist lineage. The AOC in type theory is super constructive, and just says if we can form a relation that maps between an (index) set and items in a collection of sets, then there exists a function where the relation holds. I suppose it's a cop-out but the entire formalization seems unnecessary.

Thanks for sharing. I like the concept as it formalizes the assumptions required to construct certain sets when defining the formula in the class formation axiom of NBG. At the same time, I have no qualms with using it.