Full threadyuppiemephisto·I like Peano, but he was using Grassmann's definition of natural numbersView on HN