The Conway-Paterson-Moscow theorem (http://www.tanyakhovanova.com/BlogStuff/Conway/Headache.pdf)
Andreas Blass
- 73.2k
- 8
- 191
- 290