Near Matches
Ignore Exact
Everything
2
sketch of a Set Theory proof that every Goodstein's sequence reaches 0