3 ms·

I agree, but how far do you take this? Do you say if you don't know the Peano axioms you don't understand maths?

• Tainnor 2y ago
  No.
  • chris_wot 2y ago
    Why?
    • Tainnor 2y ago
      Because knowing how you derive arithmetic from axioms isn't necessary for mathematical modeling. Mostly only logicians, theoretical computer scientists etc . need to know about PA. Euler and Gauss didn't know about PA (it hadn't been invented yet), clearly they were still great mathematicians.