# Questions tagged [axioms]

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

192 questions
3k 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 ...
1k 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.
7k 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. ...
3k 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 ...
41k 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 Choice ...
1k 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, ...
3k views

### How do the separation axioms follow from the replacement axioms?

It has come to my attention that the pairing axiom and the separation axiom schema are rarely listed since they follows from the replacement axioms. I see how this works for the pairing axiom, since ...
4k 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 ...
2k 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 ...
2k views

### What are the consequences if Axiom of Infinity is negated?

What mathematics can be built with standard ZFC with Axiom of Infinity replaced with its negation? Can the analysis be built? Is there special name for "ZFC without Infinity" set theory? I also ...
232 views

### How can I define $\mathbb{N}$ if I postulate existence of a Dedekind-infinite set rather than existence of an inductive set?

Suppose in the axioms of $\sf ZF$ we replaced the Axiom of infinity There exists an inductive set. with the Axiom of Dedekind-infinite set There exists a set equipollent with its proper ...
5k views

### Where are the axioms?

It is said that our current basis for mathematics are the ZFC-axioms. Question: Where are these axioms in our mathematics? When do we use them? I have now studied math for a year, and have yet to ...
7k views

1k 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 ...
316 views

### What is needed to make Euclidean spaces isomorphic as groups?

Consider the abelian groups $G_n=(\mathbb R^n,+)$ for $n\geq1$. Claim: For any $n$ and $m$ the groups $G_n$ and $G_m$ are isomorphic. This claim is true if one assumes the axiom of choice, and I ...
2k 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 ...
384 views

3k 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 (...
1k 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 ...
443 views

### Axiom schema and the definition of natural numbers

An axiom schema is used to generate the axioms, which inductively define the natrual numbers using the empty set and the successor function $S$. I don't understand why you have to define this set as ...
950 views

### A model of geometry with the negation of Pasch’s axiom? [duplicate]

How would a geometry with all the usual axioms of Euclidean geometry, except that instead of Pasch’s axiom, we take it negation, look like?
529 views

### Equality of positive rational numbers.

I am reading the second article Rational Numbers of the book "A Treatise on Advanced Calculus" by Philip Franklin. I have mainly 3 questions regarding this article. I am writing all these $3$ ...
2k views

### A first order sentence such that the finite Spectrum of that sentence is the prime numbers

The finite spectrum of a theory $T$ is the set of natural numbers such that there exists a model of that size. That is $Fs(T):= \{n \in \mathbb{N} | \exists \mathcal{M}\models T : |\mathcal{M}| =n\}$ ....
118 views

### How should I interpret $y-x$ in this context?

I asked a related question here. I am meticulously working my way trough Mathematical Analysis by Apostol. I am reading about axioms, specifically axiom 4: Given any 2 real numbers $x$ and $y$, there ...
250 views

### Logical Conditional Truth Table Rationale

I am trying to get an intuition (ohh, the irony) about the logical truth tables. In particular, I am looking at the basic conditional P->Q with the following ...
272 views

### Does Euclidean geometry require a complete metric space?

Note: I'm not sure how to tag this question so please fix tags as appropriate and necessary. This question relates to Tarski's axioms of Euclidean geometry, not Hilbert's axioms. It says on the same ...
319 views

### Why is the infinite set from the axiom of infinity the natural numbers?

Why is the infinite set from the axiom of infinity the natural numbers? Is there any reason such set was chosen? Couldn't the axiom yield a set that looks like $\Bbb R$ for example?
322 views

### ZFC + not-CH, can a set with cardinality between $\aleph_0$ and $2^{\aleph_0}$ be defined?

Continuum hypothesis states, there is no set with cardinality between the integers and the reals. There is a milestone result, that CH is independent from ZFC. That means, both of ZFC + CH, and ZFC + ...