For questions on axioms, mathematical statements that are accepted as being true without a mathematical proof.

learn more… | top users | synonyms

50
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?
49
votes
6answers
4k 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 ...
45
votes
4answers
9k 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 ...
41
votes
9answers
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 ...
26
votes
6answers
1k 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. ...
26
votes
7answers
1k 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 ...
22
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 ...
21
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
637 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 ...
16
votes
5answers
987 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
251 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
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, ...
14
votes
1answer
773 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 ...
14
votes
2answers
290 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
173 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 ...
14
votes
1answer
351 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.
13
votes
1answer
494 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, ...
12
votes
6answers
689 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 ...
11
votes
2answers
676 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 ...
11
votes
2answers
583 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
692 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 ...
11
votes
3answers
3k 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 ...
11
votes
3answers
516 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?
10
votes
6answers
312 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 ...
10
votes
4answers
498 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
426 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
574 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
2answers
214 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
0answers
79 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
2answers
238 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 ...
9
votes
1answer
182 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 ...
8
votes
5answers
760 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...
8
votes
5answers
421 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
493 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
270 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
508 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
720 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
658 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
6answers
1k 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: ...
7
votes
3answers
784 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
421 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
2answers
175 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 ...
7
votes
3answers
254 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
3answers
248 views

Why is zero important?

I am not sure whether this question is more appropriate here or in theoretical computer science. I leave it to the wisdom of moderators. On the computer science site I came across the following ...
7
votes
0answers
175 views

What does category theory say about chains of set inclusions $\dots\in c\in b\in a$?

I'm currently trying to understand to what extend a set theory like ZFC can be mirrored within category theory, i.e. topos theory. What appears as an obstacle to me is the axiom of regularity, which ...
6
votes
2answers
246 views

“Completeness modulo Godel sentences”?

So this has been bugging me for roughly four years. When I was an undergraduate, I attended a colloquium in which the speaker was a 'cheerleader' for AD (the axiom of determinacy- an alternative to ...
6
votes
4answers
795 views

which axiom(s) are behind the Pythagorean Theorem

There are many elementary proofs for the Pythagorean Theorem, but no matter they use areas, similarities, even algebraic proofs, it is not straightforward to tell why it is true tracing back to the ...
6
votes
5answers
232 views

Please recommend a nice and concise math book on probability theory.

My intention is neither to learn basic probability concepts, nor to learn applications of the theory. My background is at the graduate level of having completed all engineering courses in ...
6
votes
2answers
464 views

Is this formula really the nine axioms?

I was reading a note from guardian.uk called What lurks beneath a scientist's lab coat?, a little gallery of geeky-tattoos. However, number 11 in the series has the following image and caption text: ...
6
votes
4answers
402 views

Why the axioms for a topological space are those axioms?

This question might have even been asked here before, I don't really know, so sorry if it's duplicate. I've started to study topological spaces and I've found the axioms for such spaces kind of hard ...