15 ms·
No.
by Tainnor 2y ago
No.
- chris_wot 2y agoWhy?
- Tainnor 2y agoBecause 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.