Also: Church encodings for integers and bootstrapping number systems from the empty set.
https://en.m.wikipedia.org/wiki/Church_encoding
And Lisp, of course; where the book Gödel, Escher, Bach shows's up how to build a number system from empty lists: