100 years of Zermelo’s axiom of choice: What was the problem with it? (via meithecatte) — discussion
#formalmethods #math
