Hacker News new | ask | show | jobs
Goodstein's Theorem (en.wikipedia.org)
4 points by finm 2336 days ago