FRESH

Hacker News

How to Use Zorn's Lemma (2008)

28 points by perihelions

by hopfenspergerj

2 subcomments

We might as well use the axiom that “you can make arbitrary choices at each stage of a transfinite induction”. It’s mostly pedagogical tradition to make students translate that into one of the classical forms of Choice in their proofs.