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

#formalmethods #math