Natural Number Game: build the basic theory of the natural numbers from scratch

Natural Number Game