# Tagged Questions

54 views

### Difference between impredicative and predicative version of separation axiom

What is the difference between an impredicative and a predicative version of the separation axiom in ZFC: $$\forall x \exists y \forall z ( z\in y \leftrightarrow (z \in x \wedge \phi (z))$$ What ...
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 ...
256 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 ...
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 ...
157 views

### Explain mathematical practice and axiomatization to non-mathematicians

I am asked to give a talk about (a) mathematical practice, (b) axiomatization, (c) GĂ¶del's theorems and (d) possible antimechanist arguments based on the incompleteness theorems (as mentioned in P ...
285 views

### Axiomatic Foundations

I am trying to deduce how mathematicians decide on what axioms to use and why not other axioms, I mean surely there is an infinite amount of available axioms. What I am trying to get at is surely if ...
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 ...
205 views

### Is all mathematics based on the concept that $1+1=2$?

Thought about this recently, and was a bit stuck. Is all mathematics based on the concept that $1+1=2$? For example, if $1+1\ne2$, then all arithmetic won't work, right?
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?
Say I am explaining to a kid, $A +B$ is the same as $B+A$ for natural numbers. The kid asks: why? Well, it's an axiom. It's called commutativity (which is not even true for most groups). How do I ...