Goodstein's theorem

theorem

Categories: