Problems with axioms and their potential uses in real life.

1.9k Views Asked by At

Okay, so I am looking for more examples that revolve around this topic. My topic is: "Is the assumption of basic truth needed in order to create a system of mathematics that is reliable?" Here, when I reference basic truth I am talking about axiomatic systems. As of now I am going to talk about axioms in euclidean geometry and how they make sense because geometry can measure perfection. What else is there?

1

There are 1 best solutions below

1
On

(If I understood the question correctly:) Essentially, yes. You must make some unverifiable assumptions - i.e. assume some 'basic truths'. This is a big topic in the philosophy of mathematics - the most relevant reading on the subject would be on Goedel's Incompleteness Theorems.

You may also find the idea of the Muenchhausen Trilemma relevant, which deals succinctly with what you seem to be finding difficult to accept: it is practically impossible to support every axiom with a proof - to do so would require either circularity or an infinite regress.