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

learn more… | top users | synonyms

23
votes
4answers
1k 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 ...
1
vote
3answers
56 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
67 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)} ...
14
votes
4answers
725 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: ...
1
vote
1answer
40 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 ...
3
votes
0answers
46 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 ...
1
vote
1answer
18 views

The existence of the sequence corresponding to some asymptotic sequence

The following proof of the axiom of choice by induction is obviously false: Let $(\Lambda)_{i=1, 2, \ldots}$ be an infinite sequence of nonempty sets. When $i=1$, self-evident. We will assume this ...
3
votes
1answer
75 views

Models of the successor function

I would like to ask a few questions about models of the succesor function (s(x)=x+1), intact that is a bit vague, consider $T_{S}$ to be the set of axioms given by; S1: $\forall xy[s(x)=s(y) ...
0
votes
2answers
66 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 ...
1
vote
1answer
31 views

Axiomatizability in monadic second-order logic

For my thesis in finite model theory I'm considering some basic classes of structures, and I want to show in which logical systems they can or cannot be axiomatized. I now consider the class ...
1
vote
1answer
46 views

Some weaker axiom than “no nontrivial zero divisors.”

I would like to know if there a standard term for or well-known applications of the following axiom for rings or semigroups with zero (which is weaker than the "no nontrivial zero divisors" axiom): ...
0
votes
3answers
133 views

Which axiom of set theory does this formula represent ? Why? [closed]

Which axiom of set theory does the statement below represent? Why? \begin{align}\exists x\bigg(&\forall y\Big(\neg\exists z\left(z\in y\right)\to y\in x\Big)\\&\land\forall w\Big(w\in ...
1
vote
1answer
21 views

Number of Distinct Axiomatic Systems

This may well be a vaguely formulated question. Please bear with me and help me modify it to make it meaningful and rigorous, or show that it is hopelessly meaningless. I understand an axiomatic ...
1
vote
0answers
15 views

Lebesgue Measurable Sets & Axiom of Determinacy

While reading some logic theory I bumped against the theorem which states that every set of reals is Lebesgue measurable, assuming the axiom of determinacy. To prove this theorem it apparently ...
5
votes
1answer
75 views

How can the axioms (and primitives) of Tarski's axiomatization of $\Bbb R$ be independent?

While reading through this Wikipedia page about Tarski's axiomatization of the reals, a particular bit of text jumped out at me: Tarski proved these 8 axioms and 4 primitive notions independent. ...
4
votes
0answers
37 views

Axioms of Newtonian Mechanics

Axiomatically speaking, could Newton's laws be derived (as theorems) from the conservation of momentum and energy -- along with a few suitable definitions of things like an inertia frame and force? ...
6
votes
2answers
120 views

If $a=b$ then $a+c=b+c$? [duplicate]

A friend of mine just asked me how to prove that if $a=b$ then $a+c=b+c$, where $a,b$ and $c$ are real numbers, I'm not sure what I should answer. I have a book called introduction to logic and to the ...
1
vote
2answers
52 views

Why are Euclid axioms of geometry considered 'not sound'?

The five postulates (axioms) are: "To draw a straight line from any point to any point." "To produce [extend] a finite straight line continuously in a straight line." "To describe a circle with ...
2
votes
3answers
48 views

Can a sequence whose final term is an axiom, be considered a formal proof?

Wikipedia gives the following definition of a formal proof: A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of ...
0
votes
0answers
29 views

Order Axioms: '<' or '$\leq$'?

In the axioms given for the real numbers, I see that the order axioms are sometimes given for the '<' relation and sometimes for '$\leq$'. Which is more commonly used these days?
2
votes
0answers
59 views

Dependence of axioms of Zermelo set theory

I'm reading a book about Zermelo–Fraenkel set theory, and I was told that there are a lot of dependence relation among the commonly used axiom system (in the question What axioms does ZF have, ...
1
vote
1answer
25 views

Proof that if $a > 0$, then $\frac{1}{a} > 0$ using just field and order axioms

This is my attempt to prove that, if $a > 0$, then $\frac{1}{a} > 0$, using just field and order axioms. $$a > 0 \implies a \cdot \left(\frac{1}{a}\right)^2 > 0 \cdot ...
0
votes
1answer
25 views

What separates an axiom from a proposition?

I have read that an axiom is defined as "an obvious truth." I have also heard that an axiom is a truth so obvious that no proof could make it more clear. My question is: why is one thing considered an ...
4
votes
1answer
65 views

Transfinite Induction in Peano Arithmetic

I have heard that Peano Arithmetic (PA) cannot perform transfinite induction up to $\varepsilon_0$. This seems to imply that it can induct up to smaller ordinals, like $\omega$ or $\omega^\omega$ or ...
0
votes
1answer
32 views

Axiom of Induction Question

I have to use the axiom of induction to prove the summation of k^3 from 0 to n is $(n(n+1)/2)^2$. Here's what I have so far: Let P(n) be the assertion that $0^3+1^3+⋯+n^3=(n(n+1)/2)^2$ Base Case ...
1
vote
2answers
62 views

Set of axioms for finite subset of Natural Numbers

I would like to get a set of Peano like first-order axioms for a finite subset of natural numbers $N'$ such that $0 \leq N' \leq Max$, with $Max$ denoting the upper-bound. (So my signature might be ...
2
votes
2answers
68 views

Why is the Generalization Axiom considered a Pure Axiom?

If $\varphi$ is a formula in a first order language $\mathcal{L}$ and $x$ is a variable that is not free in $\varphi$, then the following is a pure axiom $$\varphi \to \forall x\varphi$$ The ...
2
votes
1answer
45 views

Axioms Conditional Probability

I am in a game theoretic framework in which I need to allow an agent to be able to conditionalize on events with probability zero. This means that I can not use the classical definition of conditional ...
1
vote
1answer
30 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 ...
0
votes
1answer
23 views

How to formulate the hyperbolic parallel postulate for more than dimensions?

To formulate the hyperbolic parallel postulate for the hyperbolic 2 dimensional (plane) is easy: Given any line ''L'' and point ''P'' not on ''L'', there are at least two distinct lines passing ...
0
votes
3answers
53 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
50 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 ...
2
votes
4answers
144 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
34 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
75 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
30 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
25 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
30 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
41 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
76 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
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 ...
0
votes
1answer
42 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
59 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
123 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
42 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
40 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
30 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 ...
11
votes
3answers
754 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
119 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
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 + ...