A adam.math.hhu.de Natural Number Game: build the basic theory of the natural numbers from scratch 191 points mildog8 1 year ago 32 comments