https://www.recursivebecoming.info/RBT_v1.0_release.pdf https://www.recursivebecoming.info/RBT_v1.0_release.pdf Also: Church encodings for integers and bootstr

https://www.recursivebecoming.info/RBT_v1.0_release.pdf https://www.recursivebecoming.info/RBT_v1.0_release.pdf Also: Church encodings for integers and bootstrapping number systems from the empty set. https://en.m.wikipedia.org/wiki/Church_encoding 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: https://wiki.xxiivv.com/site/church_encoding.html https://wiki.xxiivv.com/site/church_encoding.html