# Tagged Questions

153 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 ...
78 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 ...
109 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 ...
34 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 ...
260 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 ...
203 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 ...
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 ...
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 ...
516 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 ...
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?