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

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.