Hacker News new | ask | show | jobs
by tel 4240 days ago
That's completely standard for Peano arithmetic though.