Comment on A Good Lemma Is Worth a Thousand Theorems (2007)parentComments−emil-lp3moI'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axioms) in proofs and assumptions.
Comments
I'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axioms) in proofs and assumptions.