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

learn more… | top users | synonyms

0
votes
3answers
51 views

Commutativity of scalar/vector product: $a\mathbf{v}=\mathbf{v}a$ for all $a \in F$ and $\mathbf{v} \in V$

There are traditionally 8 axioms to check whether a set $V$ together with a field $F$ constitute a vector space. A common list of axioms can be found here. Missing from the list, however, is a ...
2
votes
1answer
38 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 ...
1
vote
4answers
123 views

Peano's Axioms: Mathematical Philosophy

In Peano Axioms, why is it necessary to define number and successor. Does not using them imply that we know what they mean? Or could they have just as easily been any two arbitrary terms which are not ...
1
vote
1answer
31 views

Problem in a proof that we cannot order complex numbers

The order axioms of real numbers state 1) Either $x = y$ or $x < y$ or $x > y;$ 2) If $x < y,$ then $x+z < y+z;$ 3) If $x, y > 0,$ then $xy > 0;$ 4) If $x > y$ and $y > z,$ ...
3
votes
1answer
53 views

Is there any set theory without something like the Axiom Schema of Separation?

I appreciate any insight to this question, including suggestions for other terms to learn about first. I am self-taught with regards to set theory and not a mathematician, so my question may not be ...
0
votes
0answers
21 views

Proving the distributive law in Real numbers

Given that the distributive law holds for positive real numbers a,b,c meaning that a(b+c)=ab+ac How do we extend the proof to all real numbers?
1
vote
1answer
24 views

Contrapositive of: $(x,y \in P) \implies xy \in P$, where $P$ is the set of real numbers

One of the axioms of order for real numbers read: $$(x,y \in P) \implies xy \in P$$ where P is the set of positive real numbers. Then, the contrapositive of this statement is: $$\sim ((x,y \in P) ...
0
votes
0answers
28 views

Consistency in Related Sets of Axioms?

If I have a set of axioms A = {A1, ..., An} and if I create a set of axioms B = {A1, ..., An, Con(A)}, would it be true to say that Con(A) iff Con(B)? Is there a simple counter-example to this? More ...
1
vote
0answers
23 views

Huzita Axiom 6 - Computing the Origami Trisection of an Angle

The Galois theory proof of the improssiblity of angle trisection rests on studying the triple angle formula $\cos 3\theta = 4 \cos^3 \theta - 3 \cos \theta$. Ruler and compass numbers can only be ...
5
votes
1answer
75 views

There is no infinite sequence $x_1 \ni x_2 \ni x_3 \ni …$

We take the "usual" axioms of Zermelo-Fraenkel set theory (axiom of extensionality, axiom of the unordered pair, axiom of the sum set, axiom of the power set, axiom of the empty set, axiom of choice ...
0
votes
1answer
26 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 ...
0
votes
1answer
41 views

$a, b, x \in \mathbb{Q}$ with $a \neq 0$. Is the $\frac{b}{a}$ the only possible value for x in $a \cdot x = b$

I have an exercise in my last assignment for calculus which is the following: Let $a, b, x \in \mathbb{Q}$ with $a \neq 0$. Use only the field axioms and the properties which we showed in class ...
1
vote
0answers
45 views

Axiomatisability of the class of finite groups

I'm trying to prove that the class of all finite groups is not finitely axiomatizable. I was trying to do this in the same way one proves that the class of finite sets is not axiomatizable, i.e. Let ...
0
votes
2answers
77 views

Is it possible to prove reflexive, symmetric and transitive properties of equality and the transitive property of inequality?

This may be a bit of a trivial question, but can one prove the reflexive, symmetric and transitive properties of equality and the transitive property of inequality of real numbers?(and if so, how? Is ...
0
votes
0answers
40 views

Is this proof correct using just the field axioms?

I have to show, using just the field axioms for the rational numbers, that $$(x+y)\cdot (x−y)=x \cdot x − y\cdot y$$ So I have started by: Replacing $(x + y)$ with a $k$, since addition is closed ...
2
votes
1answer
35 views

Proving this axiom system is consistent.

I want to make sure I understand the correct notation and expressions for proving that an axiom system is consistent. I have the axioms Every line is a collection of points. There are at least two ...
0
votes
0answers
28 views

Axioms for substructures of an algebra.

Given an algebra $ A $ and subset $ S $ (EG. quaternion algebra H and subset $S=\{a+bi : a,b \in R\} $) What are the axioms to show check for $ S $ is a: subalgebra linear subspace (sub vector ...
10
votes
3answers
715 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 ...
-1
votes
1answer
116 views

Is this the easiest calculus exercise ever?

I have a series of exercises to do, but one of these seems to be really easy to do, that it even seems strange to be asked to do. The exercise is: Use only the field axioms to show that: ...
4
votes
1answer
126 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 + ...
0
votes
1answer
36 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 ≺ ...
3
votes
1answer
54 views

Definition: Mathematical way to define the “left” and the “right”

How do we define the left and the right, (such as left/right handness) from a mathematical way of definition? How can we explain this definition to some inhabitant of a distant stellar system who has ...
1
vote
2answers
65 views

Is it possible to map mathematics without advanced set theory?

I wish to make a large digraph (network) linking various proofs together in mathematics from, say, the definition of a group to Galois theory. I got in my head that I wanted to do this after reading ...
1
vote
0answers
52 views

Von Neumann universe implies Foundation

Suppose we are working in $\mathsf{ZF-Foundation}$. Additionally, let us assume that $V = \bigcup\{V_{\alpha} | \alpha \in \mathsf{Ord}\}$ holds. Now I want to show that this implies Foundation. I am ...
1
vote
1answer
40 views

Reference Request: Compendium of Hilbert Systems

Is there a standard reference that contains, for some large family of logics, Hilbert Systems for those logics? I realize I can build them using, for example, the "mass production" technique outlined ...
2
votes
6answers
141 views

How do we define arc length?

In trying to write a nice proof of the derivatives of $\sin(x)$ and $\cos(x)$, I encountered a serious problem, namely that I have never seen a proper definition of the notion of arc length. Based on ...
1
vote
1answer
74 views

Associativity in category theory [closed]

In Category Theory, the composition of morphisms must be associative. What would happen if we give up this associative law? For example Lie algebras are vector spaces with non-associative binary ...
1
vote
1answer
65 views

Difference between Hilbert program and Russel & Whitehead's Principia Mathematica

May some one explain me what is difference between Hilbert program and Russel & Whitehead's Principia Mathematica? I know both of them wanted to reduce the mathematics into a set of axioms and ...
2
votes
1answer
41 views

Is the $\varphi \to \varphi$ axiom in Hilbert calculus redundant?

When I see the Hilbert calculus in logic, I sometimes notice that $T \vdash \varphi \to \varphi$ is listed as an axiom and sometimes not. Is there some reason? Could I get it somehow from the other ...
2
votes
2answers
136 views

Is there an established method for assigning a truth value $0<t<1$ to undecidable statements?

Is there an established method for assigning a truth value $0<t<1$ to undecidable statements? Classical logic assumes every proposition is either true or false, i.e., the law of excluded ...
0
votes
1answer
123 views

Proof that the finite product of nonempty sets is nonempty without axiom of choice from ZF

How do you prove that for $X_{i} \neq \emptyset$, $i \in \{1,...,n\}$ that $\prod_{i=1}^{n} X_{i} \neq \emptyset$ only using the ZF axioms but not the Axiom of Choice? I would like to see a rigorous ...
1
vote
4answers
25 views

Deriving probability of exactly one event occuring

Show that for any events A and B, the probability that exactly one of them occur is Pr(A) + Pr(B) − 2 Pr(A ∩ B). Solution: The probability that exactly one event occurs is $$ Pr ((A \cap B^c) ...
7
votes
1answer
190 views

What are disasters with Axiom of Determinacy?

It is well-known that Axiom of Choice has several consequences which might be viewed as counter-intuitive or undesirable. For example, existence of non-measurable sets or Banach-Tarski Paradox. H. ...
1
vote
1answer
20 views

Is it an axiom that the inequalities are translation-invariant or can we prove it?

I was thinking about the inequalities on the set of real numbers. To me and everyone else, it's been taught that an inequality is translation-invariant, i.e.: $x < y \implies x + c < y + c ...
3
votes
0answers
83 views

Axioms as recreational mathematics

Before modern group theory, mathematicians studied concrete permutation groups: algebraically closed subsets of the set of all bijections on a set $X$ in which all inverses was included. This was the ...
4
votes
1answer
127 views

Are there logical arguments against modern $\sf ZFC$ set theory?

As of asking this question, my knowledge of set theory is quite pedestrian. I've read about it in numerous nontechnical papers and even worked through three chapters of Jech - Set Theory, but in terms ...
8
votes
3answers
265 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 ...
4
votes
1answer
118 views

Is the anti-foundation axiom considered constructive?

In the area of theoretical computer science that I am interested in, constructive mathematics is of practical interest because it gives algorithms that can be implemented on a computer. However, ...
2
votes
3answers
68 views

Name of an axiom

What's the name of the following axiom: Let $A$ and $B$ be sets of real numbers, and $(\forall a\in A\text{ and }\forall b\in B)a \leq b$. Then $\exists c\in\mathbb R$ such that $(\forall a\in A\text{ ...
2
votes
1answer
122 views

Are there axioms for $\mathrm{ZFC}$ that imply that $\aleph_1$ is very large?

A bit of philosophy: under the usual definition of the aleph numbers, ZFC proves the sentence "$\aleph_1$ is an ordinal." However, in some sense $\aleph_1$ isn't really an ordinal (in my opinion), ...
3
votes
1answer
56 views

Prerequisites for Hartshorne: Euclid and beyond?

as the title suggests, I am looking for the prerequisites to Hartshorne's Euclid and beyond. I just found this book and I think it's wonderful, but the downside is that I only know math up to single ...
1
vote
0answers
51 views

Are there any articles (or otherwise) that discuss the idea that the set-theoretic universe should be as “free” as possible?

Question. Are there any articles (or otherwise) that discuss (and perhaps attempt to formalize) the idea that the set-theoretic universe should be as "free" as possible? Discussion. ...
1
vote
3answers
257 views

Can we prove that axioms do not contradict?

We construct many structures by chosing a set of axioms and deriving everything else from them. As far as I remember we never proved in our lectures that those axioms do not contradict. So: Is it ...
1
vote
2answers
49 views

Applying the Axiom Schema of Separation for the property $x = \{x\}$

On a past exam paper in a set theory module I am taking I am asked the question: Express as a first-order sentence in the language of set theory, the instance of the Axiom Schema of Separation for ...
0
votes
0answers
27 views

Pasch's axiom in the hyperbolic plane

Q: I am asked to show that pasch's axiom holds true in the hyperbolic plane. Pasch's axiom Idea: I was thinking of about a circle $\Gamma$ whose centre is the origin of the complex plane. ...
4
votes
1answer
82 views

Is the existence of such a transitive model $M$ of ZFC consistent?

Questions. Q0. Does anyone know of a refutation, in ZFC, of the following statement? Q1. If not, does ZFC plus large cardinals prove its consistency? Statement. There exists a transitive model $M$ ...
1
vote
0answers
57 views

Is there an axiom for ZFC that totally orders Cichon's diagram without collapsing it?

Is there a known axiom for ZFC that: Fixes a total ordering on the cardinal numbers appearing in Cichon's diagram. Is "natural looking" - in particular, its not allowed to be a conjunction of ...
3
votes
2answers
48 views

origin of syntax for mathematical equations

Bear with me, I don't have any formal training in mathematics. I wonder if there is something that accounts for the syntax of mathematical equations, some deeper logic or reasons why I know that ...
1
vote
3answers
71 views

Are there in pure mathematics ensembles of number's which not divided by them self except $0$?

In pure mathematics we know well that each number divided by him self except $0$ , the question that let me confused is: Is there a proof in pure mathematics show to us that there are others ...
0
votes
0answers
27 views

Axioms for ordered fields

If i have a set of numbers, that contains every positive number, including 0 , except the negative ones, can i claim it as an ordered field? I would say no, because you can't find an $y$ for any $x$ ...