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

learn more… | top users | synonyms

1
vote
0answers
35 views

Is the parallelogram law a theorem or an axiom?

I'm learning about inner product spaces and I am able to prove it within an inner product space. Is this a theorem or an axiom in euclidean geometry?(note: not the geometry of Descartes)
3
votes
0answers
21 views

Proving Boolean Logic using Axioms

I am trying to prove boolean logic formulas using axioms. I have a lot of trouble deciding what to do, which axiom to use, when to use it, etc. I've asked others on proving formulas but they have all ...
0
votes
0answers
34 views

Alternative definition of a matroid?

$\mathcal M\,$ is a nonempty subset of the set of all subsets of the finite set $X$, such that: $(1)\quad\; \neg\exists U,V\in\mathcal M:U\subset V\quad$ $(2)\quad\; A\subseteq B\in\mathcal M\wedge ...
2
votes
3answers
239 views

Existence of numbers such as $\pi^{-1}$

For my non-mathematics students (this particular class are computing), I would define $\displaystyle \frac{1}{n}$ for $n\in\mathbb{N}$ as the solution of the equation $$nx=1,$$ and then ...
1
vote
1answer
35 views

Vector space and axioms

How would i go around proving a(u+v)+ u= (a+1)u+av using axioms? I started with distributivity with respect to vector addition, associativity of addition, commutativity of addition, distributivity ...
0
votes
3answers
34 views

Proving $x^2 < y^2$ by means of the Ordering Axioms [closed]

How do I prove $x^2 < y^2$, if $0 \le x < y$ with the ordering axioms? thanks!
1
vote
1answer
67 views

The fundamental axioms of mathematics

Having known about what axioms are, I want to know whether there are some "fundamental axioms of mathematics" on which every branch of mathematics depends. If yes, what are they ? Or Do we have ...
-7
votes
1answer
105 views

What are all kind of “metamath” good for? Can it help me here?

Those logical theories, which deals with questions that isn't really mathematics but reach mathematics more or less, often seems to be like textbooks full of definitions, plus some theorems of the ...
1
vote
1answer
52 views

Some problems from section 4 of Munkres

I'm right now covering Section 4 of Topology by James R. Munkres, 2nd edition, and am stuck with the following problems in the exercise set after Section 4: Problem 8(c): Show that given $a$ with ...
1
vote
1answer
38 views

How do I prove this implication using axiomatic methods?

I am trying to prove that $a >0$ if and only if $\frac{1}{a} >0$, But I am having a lot of trouble doing so. So I would have to prove both sides of the implication. That is $a>0 \implies ...
0
votes
2answers
31 views

Proving that a set A cannot contain another set B which contains A?

From the ZFC axiom of regularity, which states that every non-empty set contains an element disjoint from it, we can deduce that there is no set $A$ such that $A \in A$. A proof is outlined here: ...
2
votes
3answers
72 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 ...
1
vote
1answer
62 views

Axiomatic Set Theory: Why do we need the “Axiom of Union”?

I've been reviewing the axioms of ZFC, and I'm trying to make sense of why the "Axiom of Union" was put in place. While the existence of the intersection (of two) sets seems to be a "Theorem" we can ...
3
votes
1answer
43 views

Module over an associative ring with unity and axioms of projective geometry

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
2
votes
2answers
81 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 ...
0
votes
1answer
30 views

Whitehead's axioms of projective geometry and a vector space over a field

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
1
vote
1answer
26 views

Whitehead's axioms of projective geometry

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
0
votes
1answer
33 views

Axiomatic proof and Boolean algebra?

I'm trying to prove that: $$(c'd') + (bc') + (a'b'c) + (ab'c) = (b' + c')(b + c + d')$$ using an axiomatic proof (i.e. using only the basic axioms and theorems of Boolean algebra).However, no matter ...
5
votes
1answer
74 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 ...
1
vote
2answers
59 views

Definability and the Separation and Replacement Axiom Schemata

I am beginning to study Set Theory, so naturally one might begin with the axioms. When reading the schemata of separation and replacement, my initial thought was, "Why would we need separation if we ...
2
votes
1answer
128 views

Is the Bourbaki treatment of Set Theory outdated?

On page 5 of the following write up, the author asks why the Bourbaki did not notice that their system of Zermelo set theory with AC was inadequate for existing mathematics. Throughout the rest of the ...
-1
votes
1answer
24 views

Axiom of infinity: What is an inductive set?

This Axiom states that there exists an inductive set. But, what is the definition of an inductive set?
1
vote
1answer
30 views

Deduce supremum of Set A

Define $$Set A=\{1-\frac 1n\ | n \in\ N\}$$A. Deduce sup Ab. Use the quanitifier definition of supremum to prove your conjecture in part (a).My attempt at the solution: I believe sup A is 1?
3
votes
1answer
57 views

Are some of the Real number axioms redundant?

We are taking a course in Real Analysis with the text: "Elementary Analysis, the theory of Calculus", by Kenneth Ross. I have also been reading a little bit of Beckenbach and Bellman's book, ...
3
votes
2answers
43 views

Logical dependence between vector space axioms

My question is not very long, but I'd like to explain where it comes from. Consider the classical definition of vector spaces: $E$ is said to be a vector space over a field $F$ when: A) E is a ...
2
votes
1answer
48 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 ...
4
votes
0answers
67 views

Has anyone proposed an axiom for ZFC that implies that many different cardinal characteristics are distinct?

I think it is more interesting when cardinal numbers are distinct, rather than equal. Has anyone proposed an axiom for ZFC that, in one fell swoop, implies that many different cardinal characteristics ...
5
votes
3answers
212 views

Proof of $x*0=0$ is invalid?

My professor told me today that while my logic was good and all my steps after the assumption were correct, my argument was invalid because I was assuming what I want to prove. I don't see how. ...
9
votes
2answers
200 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 ...
3
votes
2answers
54 views

Is is possible to prove that two systems of axioms are equivalent

The question is self explanatory. Is it possible to prove that two systems of axioms in two very different branches of math are equivalent? Is there a textbook to help me? Thanks!!
0
votes
2answers
58 views

Equality of Real Numbers

Is the following statement provable from the axioms of $\mathbb{R}$? If $\forall \epsilon>0$, $|r-s|\leq \epsilon$, then $r=s$.
1
vote
1answer
66 views

set theory, Incompleteness and axiomatic systems

Is the number of theorems that can be proved (decidable) within a certain set of axioms (for instance ZFC) is finite or infinite ? in other words, are we going to fully exhaust that set of axioms ...
1
vote
1answer
26 views

Writing the ZF formula for the choice function (given Well-ordering)

If every set has a well order, then the axiom of choice follows: Given a well order on $\bigcup_{i \in I} A_i$ we define the choice function in this way $f(i) =$ "the first element of $\bigcup_{i \in ...
-2
votes
1answer
42 views

axiom of regularity and power sets [closed]

So axiom of regularity works for any non-empty set. Is that means that a set like this {aab, +, 50, ), (, **} and all of it's subsets are actually made of empty sets? And not just sets, but power ...
2
votes
1answer
19 views

Uniqueness in transfinite recursion.

Theorem of transfinite recursion: Given a well-ordered set $A$ let $\varphi(g,y)$ be a ZF formula such that for every $a \in A$ and every function $g$ with domain $I_a$ (where $I_a$ is the initial ...
1
vote
0answers
43 views

Is “autonym” an autonym?

I believe this is set theory, but I don't really know set theory, so... An autonym is a word that refers to a property that the word itself happens to possess. For example "noun" is an autonym ...
0
votes
0answers
33 views

Quotient respect to an equivalence relation.

I have the natural numbers $\mathbb{N}$, in ZF. I want to construct the integers $\mathbb{Z}$ taking the quotient respect to usual the equivalence relation $R$ on $\mathbb{N}\times\mathbb{N}$ that is ...
0
votes
1answer
64 views

axiom of regularity and empty set

So we have axiom of regularity which says that any set (let's call it $A$) has a subset $B$ such that $A\cap B = \emptyset$. But thinking about such sets as $C = \{1, 2\}$ and $D = \{3, 4\}$ we still ...
1
vote
0answers
72 views

Congruent figures have equal areas. Why?

When we are first introduced to the idea of congruent polygons (generally triangles) in school, we often define congruent figures as "figures which have the same shape and size". However, today, ...
1
vote
2answers
75 views

How to deal with equivalences in proofs?

There is a part I need clarification on regarding the use of equivalence and its symmetry. From what I understand in regards to symmetry is that: $ (p \equiv q) \equiv (q \equiv p) $. Given p and q ...
1
vote
2answers
28 views

Prove that addition of a constant on vector spaces is bijective

What would be a nice way to deduce from the vector space axioms that $f : V_1 \longrightarrow V_2, \, x\mapsto x+v$ with constant $v$ is bijective?
1
vote
1answer
57 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
1answer
57 views

Group Axioms Motivation

Group theory is all about symmetries. Can this be seen from the axioms defining a group? Or equivalently can the group axioms be motivated from this point of view? Of course one can look at several ...
1
vote
1answer
32 views

Ill-Founded Sets in ZFC

Let $\mathbb{N}$ be the set of all finite ordinals defined as the intersection of all ordinals including the empty set and closed under successor. Consider the following set: $S_0 = \mathbb{N}$ ...
1
vote
1answer
44 views

How to establish the formula for area of a triangle using the axioms of area?

We have the following definition: AXIOMATIC DEFINITION OF AREA We assume there exists a class of $M$ of measurable sets in the plane (i.e. subsets of the plane whose area can be defined) and a set ...
2
votes
4answers
262 views

Can a Peano Set have two or more zeros?

I repeat the Peano Axioms: Zero is a number. If a is a number, the successor of a is a number. zero is not the successor of a number. Two numbers of which the successors are equal are themselves ...
3
votes
5answers
160 views

Axioms of Euclid

The axioms of Euclid are : Things which are equal to the same thing are also equal to one another. If equals be added to equals, the wholes are equal. If equals be subtracted from equals, the ...
0
votes
1answer
68 views

Uniform Space: Neighborhood System [closed]

Disclaimer: This thread is meant informative and therefore written in Q&A style. Of course everybody is encouraged to give an answer as well! As the idea behind uniform spaces is to represent a ...
2
votes
1answer
37 views

A problem in transitivity of set

Let $D$ be a transitive set with the following property : $$\forall a\in D:\quad a\subseteq B\,\Longrightarrow a\in B$$ Prove that $D\subseteq B$. I think there will be needed axiom of ...
3
votes
3answers
339 views

Axiom of Pairing

Axiom of Pairing states that if $a,b$ are sets, $\exists$ a set $A$ such that $A=\{{a,b\}}$. My question is that why we can't use Axiom of specification to define $A=\{x|x=a \vee x=b\}$?