Arithmetic Foundations are Tautological and Circular