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

learn more… | top users | synonyms

1
vote
0answers
79 views

Hilbert projection theorem without countable choice

All the proofs of the Hilbert projection theorem, existence part, that I have seen so far use countable choice (usually implicitly). Is this necessary? It seems like you might be able to leverage the ...
1
vote
1answer
254 views

Do the proofes in set theory rely on the semantics of the formulas used in the axioms?

Motivation: The Axiom of separation $$\forall w_1,\ldots,w_n \, \forall A \, \exists B \, \forall x \, ( x \in B \Leftrightarrow [ x \in A \wedge \phi(x, w_1, \ldots, w_n, A) ] )$$ is used to ...
6
votes
1answer
275 views

Is it possible to prove the axiom of infinity from the real number axioms?

What I mean by the title is whether, given that there is a class $\Bbb R$ and operations $+,\cdot,<$ that satisfy the ordered field axioms and the least upper bound axiom, you can prove the ...
6
votes
3answers
232 views

Question Regarding the Axiom of Extensionality

Jech's text on Set Theory states the following: If X and Y have the same elements, then X = Y : ∀u(u ∈ X ↔ u ∈ Y ) → X = Y. The converse, namely, if X = Y then u ∈ X ↔ u ∈ Y, is an axiom ...
5
votes
3answers
310 views

Why is the postulate $1$ not equal to $0$ not superfluous? [duplicate]

Possible Duplicate: Explanation for why $1\neq 0$ is explicitly mentioned in Chapter 1 of Spivak's Calculus for properties of numbers. I am self-studying the wonderful book, Elementary ...
4
votes
1answer
134 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 + ...
3
votes
2answers
91 views

Module over a ring which satisfies Whitehead's axioms of projective geometry

I asked this question(Characterization of a vector space over an associative division ring). It was pointed out that the answer was negative. So I reconsidered the problem and have come up with the ...
3
votes
2answers
289 views

axioms of equality

Every text I've come across uses the Axiom of Extensionality to describe the fact that sets are equal iff they contain each other's elements. $$(\forall x)(\forall y)\bigl((\forall a)(a\in x \iff a\in ...
3
votes
3answers
182 views

If we abandon the axiom of regularity, can the cumulative hierarchy just become a definition?

In ZFC, the axiom of regularity is used to prove that every set is an element of some stage of the cumulative hierarchy. The index of the least such stage is, by definition, the rank of that set. Now ...
3
votes
2answers
495 views

Why is matrix multiplication defined a certain way? [duplicate]

Why is it that when multiplying a (1x3) by (3x1) matrix, you get a (1x1) matrix, but when multiplying a (3x1) matrix by a (1x3) matrix, you get a (3x3) matrix? Why is matrix multiplication defined ...
3
votes
2answers
3k views

What is the difference between an axiom and a postulate?

I here about axioms is set theory and postulates in geometry, but they seem like the same thing. Do the mean the same thing but then are used in different instances or what? Is one word more ...
2
votes
2answers
621 views

What are the primitive notions of real analysis?

My dad introduced my to primitive notions in geometry in high school. It's come back to haunt me as I study real analysis; I find myself wondering, Have we given this a formal definition? ...
1
vote
1answer
102 views

Axiom of extension

I am learning Set Theory from the book Naive Set Theory by Halmos as part of my course. The first chapter is on the Axiom of Extension. I understand what it is but what I don't understand is why it ...
1
vote
0answers
69 views

Using definitions instead of axioms.

Lets take (classical) first-order logic for granted, including an equality symbol and its associated axioms. Given all this, a rigorous work of mathematics will typically begin with a signature - ...
1
vote
1answer
159 views

What should I be able to do with this chapter on Axiomatic Set Theory in order to check if I've learned it decently? [closed]

I've just read a chapter on axiomatic set theory, from Comprehensive Mathematics for Computer Scientists 1. It comes with basic notation on sets and some axioms: Axiom 1 (Axiom of Empty Set) Axiom 2 ...
1
vote
6answers
726 views

Is it possible to have a field without an additive identity?

If I drop the axiom that Zero is the identity of an addition what consequences does this entail? What do I need to change to my axiomatization? By definition it is not possible, but are there ...
0
votes
1answer
27 views

Given a collection of functions $f_i$ with the same domain, how to replace with values (w/o axiom replacement)

I know from a collection of ordered pairs we can project onto the first coordinate. I'm interested if there's a way (without using the axiom of replacement) to "project" a collection of functions onto ...