Comment Comment by mathpadawan > The axiom of choice is allowed.Why does this need to be stated explicitly? Why does the axiom of choice not enjoy the privilege of being a first-class axiom like other axioms? Why do many proofs need to state the assumption of this axiom explicitly before using it? parent mathpadawan 6 years ago
Why does this need to be stated explicitly? Why does the axiom of choice not enjoy the privilege of being a first-class axiom like other axioms? Why do many proofs need to state the assumption of this axiom explicitly before using it?