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.