A proof of proof by infinite descent(relatedwork.blogspot.com)112 points by matt_d 2 years ago | 48 comments