Foundational status of arithmetic