3 ms·

And the very first thing he did was define natural numbers as a grammar of operations with rules for interpretation