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

learn more… | top users | synonyms

18
votes
3answers
413 views

Is every axiom in the definition of a vector space necessary?

Definition: A vector space over a field $K$ consists of a set $V$ and two binary operations $+: V \times V \to V$ and $\cdot: K \times V \to V$ satisfying the following axioms: ...
0
votes
1answer
31 views

Couple of questions on the Axiom of Extensionality

I understand that the axiom of Extensionality says that two sets are equal iff they have the same elements. Which is clear enough. But take a look the definition for this axiom given by ...
0
votes
3answers
37 views

Axioms for Group Action

Reading the Wikipedia article on group action, I am wondering, why are the axioms stipulating that a group action obey both "compatibility" and "identity"? If a group action is merely a group ...
0
votes
1answer
25 views

Continuum hypothesis and non measurable set

This is from Chap 8 of Real and Complex analysis of Rudin. The author does not present a proof (using the continuum hypothesis) for the existence of the function $j$. Where can I find such a ...
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.
0
votes
2answers
25 views

CC for finite sets and equivalent condition

If we assume for all sequence of sets od cardinality exactly 2, there exist choice function. Can we prove Countable choice for finite sets
0
votes
0answers
14 views

CC and one of its equivalent condition [duplicate]

How we can prove: CC is equivalent to for all sequence(Xn) of non empty sets there exist (xn) which meets infinitely many (Xn) One side assuming CC is obvious. But what about converse. How we can ...
1
vote
1answer
48 views

Proof of identity A = A or 1 = 1

Is 1 = 1 an assumption? I feel it's a very good assumption, but is there a proof for it? Imagine a world where people were contesting it, where equivalence wasn't a common sense concept. In reality no ...
9
votes
1answer
202 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 ...
2
votes
1answer
28 views

Use the axioms for the field of real number to prove $1/(-a) = -(1/a)$

How would you prove using the axioms for the real numbers that $1/(-a) = -(1/a)$? I tried the following: $1/(-a) = 1/(-a) + 0(1/a) = 1/(-a) + (1+(-1))(1/a) = 1/(-a)+1/(a) + (-(1/a))$ But I don't ...
4
votes
2answers
398 views

Is this axiom self-contradicting?

I was on physics stackexchange and came across an unusual answer where it was stated that the axiom, $$\forall x ((x \in x) \land (x \notin x))$$ Creates an axiom system where "nothing" exists in ...
2
votes
0answers
29 views

Multiple order axioms independence [duplicate]

Let $T$ be a theory, let $L$ be its language, let $A$ be its set of axioms and let $P_0 \in L$ be a property. $P_0$ could be : Consequence of $A$ The negation of a consequence of $A$ Independent of ...
1
vote
1answer
56 views

What is a topology minus the axiom that $\varnothing \in \tau$.

For instance, this is the case with defining $U \subset \Bbb{N}$ to be open iff $\sum_{x \notin U} \frac{1}{x} \lt \infty$ if we let $\sum_{x \notin \Bbb{N}} = 0$. I can't seem to get $\varnothing$ ...
3
votes
1answer
234 views

Set Theory ZF Axioms Doubt

I have a pretty basic question about the symbolic representation of the axiom of extensionality for set theory, which states that $$ \forall A \forall B [ \forall x (x\in A \iff x\in B)] \iff A = B ...
0
votes
0answers
74 views

A simple question about rational numbers without a simple proof?

As in this question, study the quasigroup $(Q_+,/)$ of positive rational numbers under division. There are two obvious identities: $a/(b/c)=c/(b/a)$, for all $a,b,c\in Q_+$ $(a/b)/c=(a/c)/b$, for ...
0
votes
2answers
36 views

Is this set of event axioms complete?

In the notes' first chapter of the course "Discrete Stochastic Processes" presented by Prof. Robert Gallager, the "Axioms for events" defined as follows: 1.2.1 Axioms for events [Chapter 1: ...
1
vote
1answer
247 views

Book covering introduction to mathematical proofs

I am looking for some introductory books covering mathematical proofs, axioms, propositions, proof techniques etc in general.
4
votes
1answer
128 views

Can the generalized continuum hypothesis be disguised as a principle of logic?

A cool way to formulate the axiom of choice (AC) is: AC. For all sets $X$ and $Y$ and all predicates $P : X \times Y \rightarrow \rm\{True,False\}$, we have: $$(\forall x:X)(\exists y:Y)P(x,y) ...
7
votes
1answer
54 views

A familiar quasigroup - about independent axioms

A quasigroup is a pair $(Q,/)$, where $/$ is a binary operation on $Q$, such that (1) for each $a,b\in Q$ there exists unique solutions to the equations $a/x=b$ and $y/a=b$. Now I want to extract a ...
3
votes
2answers
46 views

Alternate Axiom of Infinity

The Axiom of Infinity states that there is a set $S$ containing $\varnothing$ such that if $x$ is an element of $S$ then so is $x\cup\{x\}$. Is the following variant equivalent? There exists a ...
5
votes
3answers
1k views

How can the axiom of choice be called “axiom” if it is false in Cohen's model?

From what I know, Cohen constructed a model that satisfies $ ZF\neg C $. But if such a model exists, how can AC be an axiom? Wouldn't it be a contradiction to the existence of the model? Only ...
2
votes
1answer
93 views

What does it mean to axiomatize a logic?

I'm sorry if this question is not clearly formulated: An axiomatization, or an axiomatic system, usually means a set of axioms (i.e. a theory). A formal theory is such a set of formulas in some formal ...
0
votes
0answers
23 views

Can the axiom of induction be replaced by simpler axioms from which it could be deduced and proved? [duplicate]

Can the axiom of induction be replaced by simpler axioms from which it could be deduced and proved? If that's possible does it require significant changes to the other peano axioms?
3
votes
1answer
33 views

Algebraic structures and axiomatic systems

In one textbook appears the following sentence: An algebraic structure is a nonempty set $M$ together with one or more operations (i.e. a function $*:M\times M\rightarrow M$) which satisfy some ...
10
votes
5answers
432 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 ...
3
votes
1answer
69 views

Does the Russell Set exist?

I am currently reading "Naive set Theory" by Paul Halmos. In the second chapter, on the axiom of specification we show that the Universal Set does not exist. The proof is the following: Lets ...
3
votes
2answers
168 views

Am I allowed to realize one object twice within one set-theory?

Say I consider a set theory with the Axioms of Extensionality and the Axiom of Pairing. As I understand it, stating the axiom allows me to make a definition like $$(a,b):=\{\{a\},\{a,b\}\}$$ and ...
1
vote
3answers
105 views

What is the definition of axiom (mathematically speaking)

I'm wondering about the exactly definition of axiom (mathematically speaking). The definition of this term seems a little blur in my mind. For example, the definition of point in the Euclidean ...
1
vote
4answers
100 views

$A=\{A,\emptyset\}$ and axiom of regularity

The axiom of regularity says: (R) $\forall x[x\not=\emptyset\to\exists y(y\in x\land x\cap y=\emptyset)]$. From (R) it follows that there is no infinite membership chain (imc). Consider this set: ...
0
votes
1answer
40 views

The order isomorphism theorem without Replacement

In $\sf ZF$, there is the following theorem: Theorem: For any well-ordered set $\langle A,\prec\rangle$, there is a (unique) order isomorphism $F$ from $\langle\alpha,\in\rangle$ to $\langle ...
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 ...
6
votes
2answers
116 views

How do we know that our definitions/axioms are not contradictory?

Let us assume that we have declared some axioms. Now, we wish to declare a new axiom too. How do we establish that the new axiom is not a consequence of, nor a contradiction to the original set of ...
3
votes
1answer
125 views

Stephen Wolfram on axiomatic systems?

I was watching a video where Wolfram was discussing the development of Mathematics, he said something along the lines of: " There is a whole universe of possible mathematics. I was curious about this ...
2
votes
1answer
56 views

Are there unsolved problems known to be not independent of the axiomatic system it is proposed in?

Are there unsolved problems known to be not independent of the axiomatic system it is proposed in? For example, is Goldbach's conjecture known to be provable using the axioms of PA? I believe I ...
2
votes
2answers
118 views

Difference between Logical Axioms and Rules of Inference

What's the difference between Logical Axioms and Rules of Inference? In my understanding, both are ordered pairs of formulas which are used to reach a conclusion through syllogisms. My questions ...
0
votes
3answers
82 views

The necessity of the axiom of induction

$\underline{First\ question}$ Let $P(n)$ be a proposition about $n$. In standard mathematical induction, we require: (1)$P(0)$ holds. (2)If $P(n)$ holds, $P(n+1)$holds. Here we use "the axiom of ...
0
votes
2answers
61 views

Why is the axiom of pairing needed in Von Neumann-Godel-Bernays Set Theory?

Why do we need the axiom of pairing in Von Neumann-Godel-Bernays Set Theory? Doesn't the following prove it? Suppose $A$ and $B$ are sets. Using the axiom of class comprehension, we can form a ...
2
votes
1answer
52 views

“Every set is equinumerous to a well-founded set” - provable in $\sf ZF-Reg$?

What is the relationship of the following to other axioms of $\sf ZFC$? $\sf WB$: Every set $A$ is in bijection with a set well-founded by $\in$. Obviously, $\sf ZF$ implies $\sf WB$ (because ...
0
votes
2answers
44 views

Axiom of foundation allows sets consisting of a descending sequences plus some 'atom'?

I am reading a text which describes how the Axiom of Foundation prevents sets that are built from a descending sequence such $$X=\{x_0, x_1,\ldots\},\text{ with } x_1\in x_0, x_2\in x_1,\ldots$$ ...
3
votes
0answers
74 views

What do the ZFC axioms look like in terms of subset?

I'm reasonably familiar with the ZFC axioms. I know they can be formalized in many different ways. However, I usually see them presented in terms of the elementary "propositional calculus primitives" ...
10
votes
3answers
496 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 ...
1
vote
3answers
72 views

Why do we have Axiom of Pairing but we don't have its generalisation, i.e a collection exists instead of pairing axiom?

For unions we have the generalised axiom, not just union for pairs. But for pairing we don't have generalisation, that a collection exists for any number of sets. If we have some axiom that says ...
1
vote
0answers
72 views

is axiom of powers required?

we can form any subset of a set using axiom of specification. then we can form collection of subsets using axiom of pairing repeatedly. we have for every condition S , (A={x belongs to X & S(x)} ...
1
vote
1answer
60 views

a problem in Stein's book 'Real analysis', relate to continuum hypothesis.

The question is from chapter 2, problem 5 in Stein's book 'Real analysis': 5.There is an ordering $≺$ of $\mathbb R$ with the property that for each $y\in\mathbb R$ the set $\{x\in\mathbb R : x ≺ ...
2
votes
4answers
256 views

Russell's paradox and axiom of separation

I don't quite understand how the axiom of separation resolves Russell's paradox in an entirely satisfactory way (without relying on other axioms). I see that it removes the immediate contradiction ...
6
votes
0answers
85 views

Strength of “Every finite dimensional subspace of a vector space has a complement”

Does the following choice principle have a name? Every finite dimensional subspace of a vector space has a complement. Equivalently, every line inside a vector space has a complementary ...
14
votes
4answers
793 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: ...
2
votes
1answer
57 views

Left and Right hand associativity equivalent first order logic

Say we are in a first order theory, and one of our inference rules is the associative rule saying that we can infer $(A \vee B) \vee C$ from $A \vee (B \vee C)$. Using the other logical inference ...
1
vote
1answer
36 views

with Tarki's axioms of geometry what is a plane?

Reading about Tarski's axioms of geometry https://en.wikipedia.org/wiki/Tarski%27s_axioms I was puzzeling how they would look for 3 dimensional geometry. the big problem then is the upper dimension ...
3
votes
0answers
49 views

Does “$(\exists f:A\twoheadrightarrow B)\implies(\exists f:B\hookrightarrow A)$” implies the axiom of choice? [duplicate]

Let $P$ denotes the property that if there exists a surjection from set $A$ to set $B$, then there exists an injection from $B$ to $A$. It's apparent that $P$ can be proved in ZFC. My question is that ...