3
votes
5answers
138 views

Axioms of Euclid

The axioms of Euclid are : Things which are equal to the same thing are also equal to one another. If equals be added to equals, the wholes are equal. If equals be subtracted from equals, the ...
1
vote
2answers
73 views

How an axiomatic system is made?

An axiom is a sentence that is taken to be true without a proof. A set of (well organised) axioms is called an axiomatic system. As consequence of these axioms we get a lot of results that we call ...
5
votes
3answers
106 views

Why can mathematicians pick and choose axioms?

Obviously, there need to be some 'self-evident' truths that we can't prove, but on which we base certain theorems; e.g. the axiom of choice lead to the well-ordering theorem (which could well be an ...
2
votes
1answer
32 views

Alternative Axiomatic Systems

At least as I understand the motivation behind rigorous definitions of the foundations of mathematics (the only contender with which I'm familiar being ZFC and extensions), the idea of an axiomatic ...
5
votes
6answers
259 views

What is the right interpretation of the axiom of extensionality

A set $a$ can be called extensional if it has the following propery: $$\forall b\left[\forall x\left[x\in b\iff x\in a\right]\Rightarrow a=b\right]$$ Based on this the axiom of extensionality can be ...
10
votes
2answers
200 views

When the mathematical community consider the inclusion of a new axiom?.

At first I was thinking about the axiom of choice, but let's keep it general. What motivates the inclusion of new axioms (or change the ones we already have in an already defined axiomatic theory?. It ...
3
votes
1answer
83 views

Success of Hilbert's Axioms

We know Euclid's axioms were found to be having many loopholes as in there were still many assumptions which weren't being stated in his system of axioms . Are Hilbert's axioms today completely ...
35
votes
8answers
3k views

Does mathematics require axioms?

I just read this whole article: http://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf which is also discussed over here: Infinite sets don't exist!? However, the paragraph which I found most ...
3
votes
1answer
497 views

Explain Zermelo–Fraenkel set theory in layman terms

What does Zermelo–Fraenkel set theory mean? According to Wikipedia, Zermelo–Fraenkel set theory is a set theory that is proposed to overcome issues in naive set theory. I really appreciate if ...
47
votes
10answers
12k views

How is a system of axioms different from a system of beliefs?

Other ways to put it: Is there any faith required in the adoption of a system of axioms? How is a given system of axioms accepted or rejected if not based on blind faith?
2
votes
1answer
100 views

How does one formulate a minimal set of axioms? [closed]

Suppose the study of some kind of mathematical object has evolved in an "organic" fashion, until it reaches the level of maturity that one wants to take an axiomatic approach to the study of those ...
14
votes
1answer
722 views

Proofs given in undergrad degree that need Continuum hypothesis?

Or alternative you need to assume CH is false. I know several proofs that use axiom of choice. Heine Borel theorem is the best example I can think off. Zorns lemma is heavily used in the non ...