On: An update on the campaign to defend serious math e...

[falcor84]

You can't even define arithmetic on natural numbers without some pretty advanced notions of logic and set theory. But you can definitely get a lot of value from arithmetic without those definitions.