1/ Are there mathematical theories that do not use intuitive integers(*)?


(*) : that is not using integers to write statements.

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