1. Are there mathematical theories that do not use intuitive integers? [That is, do not use integers to write statements.]

 2. Can you propose a theory that describes natural integers, without using intuitive integers to state axioms, definitions, and propositions?