Hacker News new | ask | show | jobs
by yuppiemephisto 269 days ago
I like Peano, but he was using Grassmann's definition of natural numbers