But quickly compare it to physics.

We have this domain called particle physics.

And the deepest theory we have in particle physics is called the standard model, which describes

all of the different fundamental particles that there are and the interactions between

these fundamental particles, the forces that exist between them and the gauge bosons which

mediate the force between particles like electrons, protons and neutrons.

Now what is matamate of?

We would say matras made of these particles, the particles described by the standard model

of physics.

But does that rule out the fact that these fundamental particles might themselves consist

of even smaller particles?

We have this idea of string theory.

So our knowledge of what the most fundamental particles are and what in reality the most

fundamental particles are is different.

So too in mathematics, Deutsche explains that mathematics is a field where what we're

trying to uncover is necessary truth. The subject matter of mathematics is necessary truth.

In the same way that the subject matter of particle physics are the fundamental particles.

But because the subject matter of fundamental particle physics are the fundamental particles,

that doesn't mean you actually find the fundamental particles.

All it means is that you have found the smallest particles that your biggest particle accelerators

are able to resolve.

But if you had an even bigger particle accelerator, you might find particles within those particles.

...