All knowledge is conjectural.
It's always being guessed.
It's our best understanding at any given time.
You're right to say that the axioms might be incorrect.
How do we know that an axiom is incorrect?
Traditionally, the answer has been because it's clearly and obviously the case.
How can you prove that X plus zero must equal X?
Well, you just have to accept that it's true.
But if we consider something like Euclid's elements, for example, draw two points on a piece of paper.
Now, through those two points, a unique straight line can be drawn.
This was accepted as true for centuries, when anyone listening might want to try the experiment for themselves.
Take a piece of paper, take a pen, draw two dots on the piece of paper.
Now, how many unique straight lines can you draw through those two dots?
It should be fairly obvious to you that only one such line can be drawn.
However, we now know that's false.
I just want you to reflect as you're staring at the piece of paper through which only one straight line is being drawn.
You have the feeling of certainty.
You are absolutely sure that you're not wrong.
This feeling is something we should always be sceptical of.
Because when people have been absolutely certain, even in a domain as apparently full of certainty as mathematics, they've been shown to be wrong.
So how can we show it's wrong?
Here's what you do.
And you might think that I'm cheating, but then again you have to reflect on.
Did you understand what I was saying when I first told you to draw a unique straight line through these two points?
Here's what I want you to do.
Bend the piece of paper.
Think in three dimensions.
Wrap the piece of paper around a basketball if you have one.
Now consider the ways in which you could draw a straight line through those two points.
You could punch a hole through one of those dots with your pen and push it out through the other side, through the other hole.
And now you have a different straight line.
You have the straight line that is drawn with your pen and you have a straight line that is literally your pen that has been pushed through these two dots.
So your initial feeling of absolute certainty that only a unique line could be drawn through these two dots is false.
And you might be thinking, that's unfair.
That's cheating.
You were thinking in two dimensions.
No, you were thinking in two dimensions.
I wasn't.
I was thinking in more dimensions than that.
Karl Popper has this wonderful saying it is impossible to speak in such a way that you cannot be misunderstood.
This is always the case.
So even in mathematics, where we try and be as precise as possible, it's possible for people to make errors, to think false premises about what the argument is that they're trying to make.
And, by the way, this particular example of Euclidean geometry because geometry was traditionally always done in two dimensions on a piece of paper was resolved by various people and led to geometry in curved space, which led to Einstein coming up with the general theory of relativity.
So it is questioning these deepest assumptions that we have, where we think there's no possible way we could be mistaken.
That leads to true progress, to genuine fundamental change in the sciences and everywhere else.
