An expository work on Goodstein's Theorem as a natural independence phenomenon