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?

1$\begingroup$ Comments are not for extended discussion; this conversation has been moved to chat. $\endgroup$– Tim Campion ♦Apr 18, 2021 at 14:00
6 Answers
A "philosophy of math" tag would have been a good idea.
To answer your question, take a look at Hatry Field's "Science without Numbers". Also, Edward Nelson has developed a theory of "protointegers", which is discussed in "Diffusion, Quantum Theory, and Radically Elementary Mathematics" (MN47).
In my opinion, most attempts at nominalism (be it about abstract objects, infinite sets, or numbers) spend a lot of energy, and for what in the end? Moreover, the approach invariably comes across as a cheap trick (to me). This is my personal opinion, but I get the impression it is shared by many mathematicians.
I would quote Alonzo Church here, but the current climate does not allow for that anymore.

6$\begingroup$ Hartry Field was the first name that came to my mind as well. As far as I can tell, his book largely reduces to a single claim: Numbers are abstract, but regions of space are concrete. Like most mathematicians, I can't make any sense of this claim. Along similar lines, Mary Leng (as I see it) claims that arithmetic is abstract, but logic is concrete. Say what? I don't get it. I discussed Leng's ideas on the Foundations of Mathematics mailing list about a year ago. $\endgroup$ Apr 17, 2021 at 13:36

27$\begingroup$ Why does the current climate not allow for quoting Church? $\endgroup$ Apr 17, 2021 at 13:37

20$\begingroup$ I see no reason you can't quote Church here. $\endgroup$– Tim Campion ♦Apr 17, 2021 at 15:07

3$\begingroup$ I have seen people be roundly abused for quoting Church, the talk mentioned by J.J. Green in particular, even during a discussion on ontological parsimony, i.e. "on topic". $\endgroup$ Apr 17, 2021 at 19:32

4$\begingroup$ @SamSanders Your experiment would explore a linguistic fact about the English words "concrete" and "abstract" as they are commonly used, but I was using the words in the technical sense of what nominalists consider real and unreal. $\endgroup$ Apr 17, 2021 at 23:04
"Are there mathematical theories that do not use intuitive integers?"
Geometry? A lot of Euclid's Elements is done without numbers.

3$\begingroup$ How do you state "Two distinct points determine a line" without the number two? $\endgroup$– KapilApr 18, 2021 at 2:51

10$\begingroup$ @Kapil $\forall x,y\exists!\ell(x\neq y\implies \{x,y\}\subseteq\ell)$? $\endgroup$ Apr 18, 2021 at 4:28

$\begingroup$ Don't you need an algorithm to tell you to stop after two points? Mark point when sun sets, mark point when sun rises, connect morning point with evening point. :) $\endgroup$– PatrickTApr 18, 2021 at 8:23

7$\begingroup$ @AlecRhea Nitpick: you need to put the condition $x\neq y$ before the $\exists!$ quantifier. :0) $\endgroup$ Apr 18, 2021 at 12:07

$\begingroup$ @AlecRhea One of the "missing" axioms of Euclidean geometry is that there are at least 3 noncollinear points and another states that each line contains at least two points. However, you have encapsulated the axiom I asked about! $\endgroup$– KapilApr 18, 2021 at 15:52
Here are two attempts to answer what I view is the underlying question. The first attempt is taken from "Some Philosophical Prolegomena" (a section of the notes "The Axioms of Set Theory", by Tom Foster).
Many people come to set theory having been sold a story about its foundational significance; such people are often worried by apparent circularities such as...
Before we even reach set theory we have to have the language of firstorder logic. Now the language of firstorder logic is an inductively defined set and as such is the minimal [with respect to inclusion] set satisfying certain closure properties, and wasn’t it in order to clarify things like this (among others) that we needed set theory . . . ? And how can we talk about arities if we don’t already have arithmetic? And weren’t we supposed to get arithmetic from set theory?
...this doesn’t mean that set theory cannot serve as a foundation for Mathematics, but it does make the point that the whole foundation project is a bit more subtle than one might expect, and that the cirularities which launched this digression are not really pathologies, but a manifestation of the fact that life is complicated.
I have taken various liberties in selecting these quotations  you may want to consult the original text.
The second attempt is my own, more pessimistic, view. I think that "meaning" (if it exists at all) comes from a very lengthy bootstrapping process; thus any attempt at mathematical foundations is hopeless.

6$\begingroup$ See also Andrej Bauer's answer to a related MO question. In Bauer's language, it may be impossible to locate a "First Cause" in mathematics, but that need not mean that "any attempt at mathematical foundations is hopeless," depending on what we want a foundation of mathematics to do. $\endgroup$ Apr 17, 2021 at 14:52

$\begingroup$ Thank you for the links  will look at them. $\endgroup$– Sam NeadApr 17, 2021 at 16:59

1$\begingroup$ Related: What is at the bottom of Mathematics and Building blocks for Mathematics. $\endgroup$ Apr 18, 2021 at 14:18
This question, like many others, is based on a fundamental conceptual error. Any formal system whatsoever that humans can devise and use must be one with unambiguous rules. Therefore its theorems (i.e. statements that it allows you to deduce) must necessarily be a computably decidable set. But even basic logic relies crucially on the assumption that any finite symbol strings can be concatenated. Otherwise you cannot even have a rule that allows you to deduce "A∨B" from "A"!
Because of this, the answer to your questions are trivially "no" and "no".
There is a famous anecdot concerning Grothendieck and a certain integer. In the sixties, Alexander Grothendieck was developping a complex algebroarithmetic framework in order to prove a set of conjectures due to Weil concerning varieties over finite fields. One motivation was to get a better grasp of integer solutions of polynomial equations using reduction mod p.
The lectures given by Grothendieck were very abstract and one of the auditor asked for an example. "Sure," said Grothendieck, "let's take some prime number p, for example 57". And so now 57 is known as the Grothendieck prime.
In modern algebraic geometry, an prime integer is a maximal ideal in the ring $\bf Z$. I don't remember what $\bf Z$ is exactly. Some algebraic geometer may come forward and correct me if I am wrong but I think that this is the terminal object in the category of scheme. Or maybe the antediluvian one. Another fashionable topic at the moment is the field with one element. The number 1 of course should not be understood in its intuitive meaning. All jokes taken aside, some parts of arithmetics nowadays are pretty sophisticated and do not rest on an intuitive notion of integers.
6 for example should be interpreted as a global section of the canonical sheaf of $spec({\bf Z})$, that is as a kind of function that associates to each point p in $spec({\bf Z})$ (a prime number actually) an element of ${\bf Z} / p{\bf Z}$ (the stalk of the sheaf at p) obtained by reducing 6 mod p. This allows to draw a parallel with the polynomial ring ${\bf C}[X]$, which happens to be a ring of functions over the complex line, and use idea coming from analytic geometry to study integers.
At that point, you should be confused enough to understand that integers are not what they used to be.

$\begingroup$ You are right that $\mathrm{Spec}(\mathbb{Z})$ is the terminal object in the category of schemes. So $\mathbb{Z}$ is the initial object in $\mathbf{CRing}$ (since $\mathbf{CRing}$ is dual to the category of affine schemes). $\endgroup$– xuq01Nov 22, 2021 at 0:11
Topology and group theory do not use the integers.
However, I'd say that groups are  one of many  generalisations of the integers.
Also set theory and as one poster has already pointed out, Euclidean geometry.

$\begingroup$ How do you say that $card (G) = 10^9$ without using intuitive integers? $\endgroup$– DattierApr 18, 2021 at 12:44

$\begingroup$ @Dattier: Obviously, mathematical disciplines are interrelate. For example, group theory is used in geometry in the definition of Lie groups and principal bundles. However, we can restrict usage. It's possible to build up a useful set theory without using the notion of cardinality. For example, the de Morgan identities can be shown etc. $\endgroup$ Apr 18, 2021 at 12:51

$\begingroup$ Well, can you define $10^9$ in arithmetic of Peano without use intuitive integers and knowing BAAC =BAC for BAAC and BAC a set of symbol concatenate $\endgroup$– DattierApr 18, 2021 at 12:58

$\begingroup$ @Dattier: Intuitive set theory, geometry and topology can be done without intuitive integers. Given that the OP was asking about intuitive integers I figured that simplicity is best. Peano models counting axiomatically and the OP is asking about mathematics other than counting. $\endgroup$ Apr 18, 2021 at 14:09

1$\begingroup$ I'm not sure how one talks about the winding number without integers, and I'm not sure how one does topology without the winding number. $\endgroup$– Dan FoxNov 15, 2021 at 13:48