Natural Number Game: build the basic theory of the natural numbers from scratch December 17, 2024 by Comments