Findings:
- Goodstein's sequence
- Goodstein's theorem
- sketch of a Set Theory proof that every Goodstein's sequence reaches 0
If you Log in you could create a "Goodstein" node. If you don't already have an account, you can register here.
If you Log in you could create a "Goodstein" node. If you don't already have an account, you can register here.