Natural numbers definition list:

A tool for people who think the natural numbers are cool but induction is dumb