yes but most of the math-based approaches to ML start from real (multivariate) analysis, or from probability theory. i haven't heard anyone claim that Peano axioms are important. as much as I will defend the notion that applied mathematics is extremely important for ML research, peano axioms are unnecessary and will just cause confusion