Comment by ncfavier Comment by ncfavier 5 days ago 0 replies Copy Link View on Hacker News Note that this proof doesn't require the axiom of choice, only excluded middle.