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?
Are there mathematical theories that do not use intuitive integers? [That is, do not use integers to write statements.]
Can you propose a theory that describes natural integers, without using intuitive integers to state axioms, definitions, and propositions?
