For questions on axioms, mathematical statements that are accepted as being true, usually without controversy.

learn more… | top users | synonyms

63
votes
7answers
13k views

Can you explain the “Axiom of choice” in simple terms?

As I'm sure many of you do, I read the XKCD webcomic regularly. The most recent one involves a joke about the Axiom of Choice, which I didn't get. I went to Wikipedia to see what the Axiom of ...
55
votes
10answers
13k 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?
54
votes
6answers
6k views

In what sense are math axioms true?

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 ...
48
votes
8answers
4k 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 ...
31
votes
4answers
2k views

Axiomatic definition of sin and cos?

I look for possiblity to define sin/cos through algebraic relations without involving power series, integrals, differential equation and geometric intuition. Is it possible to define sin and cos ...
27
votes
6answers
2k views

Is $\{0\}$ a field?

Consider the set $F$ consisting of the single element $I$. Define addition and multiplication such that $I+I=I$ and $I \times I=I$ . This ring satisfies the field axioms: Closure under addition. ...
27
votes
7answers
2k views

Are there infinite sets of axioms?

I'm reading Behnke's Fundamentals of mathematics: If the number of axioms is finite, we can reduce the concept of a consequence to that of a tautology. I got curious on this: Are there infinite ...
24
votes
6answers
2k views

What are natural numbers?

What are the natural numbers? Is it a valid question at all? My understanding is that a set satisfying Peano axioms is called "the natural numbers" and from that one builds integers, rational ...
22
votes
6answers
1k views

Axiomatic characterization of the rational numbers

We have the well-known Peano axioms for the natural numbers and the real numbers can be characterized by demanding them to be a Dedekind-complete, totally ordered field (or some variation of this). ...
18
votes
5answers
725 views

Why hasn't GCH become a standard axiom of ZFC?

I've never seen a text that includes GCH in the ZFC axioms. I presume this means that GCH has not achieved widespread acceptance. This seems surprising to me, given that: The cardinal numbers ...
17
votes
5answers
1k views

What is the modern axiomatization of (Euclidean) plane geometry?

I have heard anecdotally that Euclid's Elements was an unsatisfactory development of geometry, because it was not rigorous, and that this spurred other people (including Hilbert) to create their own ...
15
votes
2answers
3k views

What happens if we remove the requirement that $\langle R, + \rangle$ is abelian from the definition of a ring?

Ever since I learned the definition of a ring, I've wondered why the additive group is required to be abelian. What happens if we allow $\langle R, + \rangle$ to be nonabelian as well as $\langle R, ...
15
votes
6answers
866 views

When does the set enter set theory?

I wonder about the foundations of set theory and my question can be stated in some related forms: If we base Zermelo–Fraenkel set theory on first order logic, does that mean first order logic is not ...
15
votes
1answer
899 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 ...
15
votes
1answer
436 views

Is there an axiomatic approach to ordinal arithmetic?

I've always wondered, is there an axiomatic approach to the arithmetic of ordinal numbers? If so, I imagine it would be on par with set theory in terms of its proof-theoretic strength.
15
votes
2answers
275 views

How much math do we need to prove all simple numeric identities?

Consider real numeric expressions build only from integers, operators $+,-,\times,/$ and taking a positive expression to a power (no variables involved), e.g. $$\frac{2}{7},\ 2^{1/2},\ ...
14
votes
4answers
791 views

Vector Spaces: Redundant Axiom?

Question Why are the axioms for vector space independent? More precisely $1x=x$ seems redundant... (I take the axioms from: Wikipedia) Explanation One has for zero vector: ...
14
votes
1answer
702 views

Can we prove the existence of $A\cup B$ without the union axiom?

If $A$ and $B$ are sets, then $A\cup B$ is defined as follows: $$A\cup B:=\{x: x\in A \, \, \,\text{ or } \, \, \, x\in B\}.$$ In ZFC, $A\cup B$ exists because $\bigcup\{A,B\}$ exists by union axiom, ...
14
votes
2answers
329 views

Non-constructive axiom of infinity

Looking at the ZFC axioms (in the Wikipedia version), the axiom of infinity stands out because it contains an extremely specific construction. This seems rather unelegant to me, therefore I've thought ...
14
votes
2answers
221 views

How far is it true that statements dependent on Axiom of Choice are not constructive.

Axiom of Choice is often used in mathematics to construct various objects, such as basis of $\mathbb{R}$ as a vector space over $\mathbb{Q}$, unmeasurable subset of $\mathbb{R}$, or a non-principal ...
13
votes
2answers
777 views

Where is axiom of regularity actually used?

Where is axiom of regularity actually used? Why is it important? Are there some proofs, which are substantially simpler thanks to this axiom? This question was to some extent provoked by Dan ...
13
votes
3answers
866 views

In axiomatization of propositional logic, why can uniform substitution be applied only to axioms?

I'm reading an introductory book about mathematical logic for Computation (just for reference, the book is "Lógica para Computação", by Corrêa da Silva, Finger & Melo), and would like to ask a ...
12
votes
3answers
921 views

Proof that every circle has the ratio of $\pi$

We know that the ratio between the circumference's length and diameter is equal to $\pi$, but can this be proved for every circle? Or is this an axiom?
11
votes
6answers
368 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 ...
11
votes
3answers
816 views

What's so special about the group axioms?

I've only just begun studying group theory (up to Lagrange) following on from vector spaces and I am still finding them almost frustratingly arbitrary. I'm not sure what exactly it is about the ...
11
votes
2answers
703 views

Which axioms of ZFC or PA are known to not be derivable from the others?

Which, if any, axioms of ZFC are known to not be derivable from the other axioms? Which, if any, axioms of PA are known to not be derivable from the other axioms?
11
votes
3answers
4k views

Euclid / Hilbert: “Two lines parallel to a third line are parallel to each other.”

Background Many geometry books used to teach high-schoolers these days try to transfer Hilbert's reworking of Euclid's axioms into a (somewhat) palatable form for students. They don't usually seem to ...
10
votes
5answers
420 views

Foundation of ordering of real numbers

This might be a silly question, but what is the mathematical foundation for the ordering of the real numbers? How do we know that $1<2$ or $300<1000$... Are the real numbers simply defined as ...
10
votes
5answers
595 views

Axiomatic approach to polynomials?

I only know the "constructive" definition of $\mathbb K [x]$, via the space of finite sequences in $\mathbb K$. It essentially tells a polynomial is its coefficients. Is there a way to define ...
10
votes
3answers
651 views

How does the axiom of regularity forbid self containing sets?

The axiom of regularity basically says that a set must be disjoint from at least one element. I have heard this disproves self containing sets. I see how it could prevent $A=\{A\}$, but it would seem ...
10
votes
5answers
626 views

What are the postulates that can be used to derive geometry?

What are the various sets of postulates that can used to derive Euclidean geometry? It might be nice to have several different approaches together for comparison purposes and for ready reference. It ...
10
votes
3answers
491 views

Which statements are equivalent to the parallel postulate?

I would like to have a long-ish list of statements that are equivalent to the parallel postulate. If a line segment intersects two straight lines forming two interior angles on the same side that ...
10
votes
2answers
253 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 ...
10
votes
1answer
212 views

What is the smallest fragment of ZFC that has the same consistency strength as ZFC?

The question in the title is undoubtedly nonsensical, but I am not sure how to state this question properly. Perhaps some examples will help me explain it. Thanks to Godel and Cohen, we know that ...
10
votes
0answers
129 views

Axiomatizing topology through continuous maps

Suppose we have some topological space $X$ and we somehow forgot about the topology. A friend of ours knows the topology and offers to tell us for any map $X\to Y$ into any topological space $Y$ ...
9
votes
5answers
779 views

Are $x \cdot 0 = 0$, $x \cdot 1 = x$, and $-(-x) = x$ axioms?

Context: Rings. Are $x \cdot 0 = 0$ and $x \cdot 1 = x$ and $-(-x) = x$ axioms? Arguably three questions in one, but since they all are properties of the multiplication, I'll try my luck...
9
votes
1answer
200 views

The theory in probability

Consider a real-life experiment (perhaps written as a problem in a textbook): A coin is continually tossed until two consecutive heads are observed. Assume that the results of the tosses are mutually ...
8
votes
6answers
2k views

Why accept the axiom of infinity?

According to my readings, Russell showed that a principle Frege used to reduce Peano arithmetic to logic lead to a contradiction. So, Russell tried to reduce mathematics to logic a different way but ...
8
votes
6answers
2k views

How to demystify the axioms of propositional logic?

How might I go about getting some intuition on the typical axiom schemes given for propositional logic? They seem rather mysterious at first glance. For example, these are taken from: ...
8
votes
5answers
515 views

A confusion about Axiom of Choice and existence of maximal ideals.

The proof of the theorem of statement that every ring has a maximal ideal uses zorn's lemma or the axiom of choice.Now, the defintion of ring as well as the definition of maximal ideal don't depend on ...
8
votes
3answers
295 views

Is the “domain of discourse” in axiomatic set theory also a “set”?

The domain of discourse is defined by Wikipedia as the "set of entities over which certain variables of interest in some formal treatment may range." However, I believe we could not call the domain of ...
8
votes
3answers
527 views

What constitutes an axiom - Spivak Calculus ch. 1

In chapter 1 of Spivak's Calculus text he lays out some fundamental axioms of the integers. For instance that: $a \cdot 1 = a$, for all $a$. However he doesn't list an axiom that for instance says: $a ...
8
votes
2answers
298 views

Axiomatic system and Hilbert's 2nd problem

Hilbert's second problem asks if the axioms of arithmetic are consistent. Has this problem been resolved? Shouldn't an axiomatic system ideally be consistent and complete(given that we have the ...
8
votes
3answers
551 views

Relationship between Category theory and Axiomatic set theory

I've recently started learning Category theory- and I have a pondering- wondering if anyone can help. Is it possible for two categories to satisfy two different set-axiom system. Namely- is it ...
7
votes
9answers
817 views

Motivating implications of the axiom of choice?

What are some motivating consequences of the axiom of choice (or its omission)? I know that weak forms of choice are sometimes required for interesting results like Banach-Tarski; what are some ...
7
votes
3answers
680 views

Has anyone ever proposed additional axioms?

According to Wikipedia, Godel's incompleteness theorem states: No consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is ...
7
votes
3answers
1k views

The existence of the empty set is an axiom of ZFC or not?

I found in the Wolfram MathWorld page of the Axiom of the Empty Set that this is one of the Zermelo-Fraenkel Axioms, however on the page about these ZFC Axioms I read that it is an axiom that can be ...
7
votes
2answers
541 views

How does (ZFC-Infinity+“There is no infinite set”) compare with PA?

How does (ZFC-Infinity+"There is no infinite set") compare with (first order) PA? Intuitively, neither theory should be more powerful than the other.
7
votes
3answers
306 views

Axiom of extensionality in ZF - pointless?

In every textbook on ZF set theory I come across the Axiom of extensionality, which basically says that if two sets have the same elements, then those two sets are equal: $$\forall x \forall y ...
7
votes
2answers
188 views

Is $\mathrm{ZFC}^E$ outright inconsistent?

From $\mathrm{ZFC},$ define a new theory $\mathrm{ZFC}^E$ by adjoining a constant symbol $E$ together with axioms to the effect that: $E$ is countable and transitive $(E,\in)$ is an elementarily ...