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

learn more… | top users | synonyms

2
votes
2answers
83 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 ...
1
vote
2answers
38 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
2answers
42 views

Let $F$ be a field and $x, y\in F$. Prove:

Use field axioms to prove: a) $(−1) · (−x) = x $ b) If $x · y = 0$ then $x = 0$ or $y = 0$ I don't understand how to approach these questions. Does the field include $1$ and $0$ as well?
3
votes
1answer
46 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
1answer
38 views

Alternative Axiomatic Systems

At least as I understand the motivation behind rigorous definitions of the foundations of mathematics (the only contender with which I'm familiar being ZFC and extensions), the idea of an axiomatic ...
1
vote
1answer
40 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 ...
1
vote
1answer
39 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 ...
1
vote
1answer
52 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 ...
1
vote
1answer
75 views

How to extract the sets “produced” by a axiomatic set theory, into some newly introduced collection?

Say I know well how to reason in a set theory, which for the sake of this question I'll call $\bf{ST}$, say one of those, it can by $\bf ZFC$. It's principally written down via first order logic and ...
1
vote
1answer
47 views

Axiom of regularity and ordinal ranks

I am trying to prove that the following two statements are equivalent: Axiom of regularity $\forall x \exists \alpha (\alpha $ is an ordinal and $ x \in V_\alpha)$ I believe I understand how to ...
1
vote
1answer
59 views

How to know when a system of axioms is 'complete'?

Here, I (basically) stated the group axioms as follows. $(xy)z=x(yz)$ $xe=x, ex=x$ $xx^{-1}=e$ In that post, answerers Martin and Ittay were critical of the above list for not including ...
1
vote
1answer
90 views

Real numbers axiomatization without natural numbers

I think to remember that there is way to uniquely characterize the real numbers $\mathbb{R}$ via an axiom set. I wonder if this is possibly without introducing some notion of the natural numbers ...
0
votes
1answer
5 views

Do multiclass logistic regressions obey Kolmogorov's second axiom?

Logistic regressions were taught to me using the intuition that they approximate $\mathbb{P}(Y=y|x;\theta)$. Multiclass regressions use one-vs-all classification, selecting one $y$ and classifying ...
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 ...
0
votes
1answer
46 views

Basic Field Properties: multiplication

I am struggling with the proofs: a) $(a^{-1})^{-1} = a$ b) $(-a)^{-1} = -a^{-1}$ I have done the rest of the theorem but it is just these two that are difficult. To prove them you can only use the ...
10
votes
0answers
79 views

Axiomatizing topology through continuous maps

Suppose we have some topological space $X$ and we somehow forgot about the topology. A friend of ours knows the topology and offers to tell us for any map $X\to Y$ into any topological space $Y$ ...
7
votes
0answers
175 views

What does category theory say about chains of set inclusions $\dots\in c\in b\in a$?

I'm currently trying to understand to what extend a set theory like ZFC can be mirrored within category theory, i.e. topos theory. What appears as an obstacle to me is the axiom of regularity, which ...
6
votes
0answers
89 views

Prove that (M,+,*) is a field

Prove that the multiplication $*:M \times M \to M$ defined by this table: * | 0 1 -------- 0 | 0 0 1 | 0 1 together with the commutative group (M,+), is a field (M,+,*). Group axioms: 1) ...
4
votes
0answers
95 views

Why exactly is Bourbaki difficult?

I keep hearing people say that Bourbaki is difficult for most undergraduates but I still don't understand why. Surely if it starts from definitions/axioms then practically anyone should be able to ...
4
votes
0answers
70 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 ...
4
votes
0answers
55 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 ...
3
votes
0answers
29 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 ...
3
votes
0answers
80 views

Intuition on Axiom of Completeness

♪ (J. Stewart. Calculus 6th ed. pp 682) Axiom of Completeness = AoC = A nonempty set of real numbers that has an upper bound has a least upper bound. AoC is an expression of the fact that there ...
3
votes
0answers
166 views

Power-set in Hypercube: historical background of indexing each term like Hasse Diagram?

My instructor wants references about the indexation over the hypercube, related question here, he does not believe that I was the first who used it -- [update] thanks to a comment, the name is Hasse ...
3
votes
0answers
47 views

Have people studied weakened forms of Tarski's axiom?

My intuition about Grothendieck universes says the following. Axiom of empty set $\leftrightarrow$ There exists a Grothendieck universe. Axiom of infinity $\leftrightarrow$ There exist at least two ...
3
votes
0answers
50 views

A mathematical object that can be characterised by axioms as well as by universal constructions

This question (more specifically one of the comments) prompted me to ask this question: Can someone give me an example of a mathematical object that one can characterize both via axioms and universal ...
2
votes
0answers
41 views

Are there any formal theories that are not axiomatic?

Are there any formal theories that are not axiomatic? Could you give me some examples?
2
votes
0answers
76 views

Simple Proofs in ZFC Set Theory

So I'll keep this real short and simple. In this document on page 23 there is a list of axioms. On page 24 there is a list of theorems that come from said axioms. I can prove them all except 3 and 5. ...
2
votes
0answers
130 views

Problem solution by model theory

Sorry if that's not the right place for asking this, but didn't have anywhere else to go. I was cheking out some math problems in the Mathematical Olympiad site, and I found this one: Let $\mathbb ...
1
vote
0answers
45 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
0answers
54 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 ...
1
vote
0answers
45 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 ...
1
vote
0answers
80 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
0answers
39 views

Set of true statements generated by set of axioms with a binary operator

I wondered about this and I am having a hard time formulating it as a question at all, but I hope I can express something if my wondering here. Assume we have a set $V = \{\mathbb N, +, =, X ,(,)\}$. ...
1
vote
0answers
66 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
0answers
42 views

Transitive property of equality and the fundamental nature of algrebra

The fundamental nature of algebra rests on the basic rule that whenever two numbers, variables, or expressions are equal, either one can be replaced at any time by the other one. For example, if we ...
1
vote
0answers
71 views

Is a “model” only a proper model if everything in it's definition is also explicitly constructed?

Say you have some collection of axioms and you find a set $X$ fulfilling them. And the definition of the set $X$ involves another concept, e.g. the real number, but only in a way which refers to the ...
1
vote
0answers
60 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
0answers
147 views

Should every line be infinite in both two directions?

Yesterday one my classmate asked me for the the definition of line. I have found it in coordinate geometry, in vector space, and in metric space. The definition in metric space is quite general ...
0
votes
0answers
15 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. ...
0
votes
0answers
20 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$ ...
0
votes
0answers
34 views

Verifying certain congruence axioms in taxicab geometry

Given: I need some help I've shown what I have so far d(A, B) = |a1 − b1| + |a2 − b2| where A = (a1, a2) and B = (b1, b2). Some people call this ...
0
votes
0answers
41 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 ...
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
0answers
25 views

How to translate these defitions of bipartiteness to each other?

Let $(V,E)$ be a bipartite graph. I'm trying to capture this property and I've come up with two definitions and am surprised/confused that one uses a negation and the other doesn't - still I can't ...