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

learn more… | top users | synonyms

7
votes
0answers
233 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
100 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
101 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? ...
4
votes
0answers
120 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
0answers
81 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 ...
3
votes
0answers
40 views

Neighborhood Topology and Open Set Topology: their Equivalence and Comparison

Motivation. A few years ago we were using Armstrong's Basic Topology as a textbook for the topology course in my university, and right off the bat I had a huge conceptual problem regarding the two ...
3
votes
0answers
79 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" ...
3
votes
0answers
72 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
51 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?
3
votes
0answers
245 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
50 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
58 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
29 views

A question on Axiom XI of Veblen's paper on the axioms of geometry

Recently I have started reading Oswald Veblen's A System of Axioms for Geometry. There it is written that (see page 346), Axiom XI. If there exists an infinitude of points, there exists a certain ...
2
votes
0answers
49 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 ...
2
votes
0answers
83 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, ...
2
votes
0answers
90 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 ...
2
votes
0answers
103 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
161 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
56 views

Ordinal Numbers within Simple Type Theory

A little preamble: I recently came across the system of higher-order logic known as simple type theory, and I was immediately intrigued by it, as it seemed to be exactly what I was looking for as an ...
1
vote
0answers
79 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
0answers
92 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 ...
1
vote
0answers
84 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
0answers
37 views

If $mx=m$ for some (or all) integer $m$, then $x=1$

I am studying proofs, and I am stuck thinking about the logic behind these two propositions: Let $x \in\mathbb Z$, if $x$ has the property the for all $m \in\mathbb Z$ $mx = m$, then $x=1$. Let $x ...
1
vote
0answers
53 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
58 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
54 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
161 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
52 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
133 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 ...
1
vote
0answers
74 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
72 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
159 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
17 views

Peano's 3rd axiom -explain

Peano's axioms for Natural numbers. 3rd axiom from Introduction to topology by Bert Mendelson - There is one and only one object in $\mathbb{N}$ denoted by ...
0
votes
0answers
41 views

Are my proofs consistent/non-circular/correct?

I am slowly working my way trough "Mathematical Analysis" by Apostol, and I decided to try my hand at a few proofs. (I asked related questions here and here, so some of the work here might be from the ...
0
votes
0answers
40 views

Why does Mixture Continuity imply the Archimedean Axiom?

I am having difficulty grasping why mixture continuity implies the archimedean axiom. Mixture continuity is supposed to be a stronger statement and thus the archimedean axiom should be trivially ...
0
votes
0answers
23 views

Power Set, Theory of Linear Algebra, and Axiomatic Systems

So for homework, my History of Math professor gave us these three questions: Explain why the power set of a set S (collection of all subsets) has the same cardinality as the set [all functions from ...
0
votes
0answers
27 views

Huzita-Hatori, 4th and 5th axiom

https://en.wikipedia.org/wiki/Huzita%E2%80%93Hatori_axioms It seems to me like the 4th axiom is just a special case of the 5th. I'm actually confused, because I can't find the definite form of these ...
0
votes
0answers
10 views

do the line order axioms imply the plane separation axiom?

Pasch's axiom and plane separation can be shown equivalent. But both depend on the line ordering (or betweenness) axiom for meaning. Does the latter imply those two axioms? I read not, but I seem to ...
0
votes
0answers
10 views

How to naturally justify sigma additivity in Kolmogorov's PT axiomatics?

The last axiom in the axiomatization of probability theory by Kolmogorov, that states: Any countable sequence of disjoint (synonymous with mutually exclusive) events E$_1, E_2$, ... satisfies ...
0
votes
0answers
47 views

How to express the closure under countable union in formal language?

I'm trying to express the closure under countable union by using formal language, as I'm praticing the language. The following is the statement that I found on proofwiki. $$\forall ...
0
votes
0answers
32 views

Write all axioms and properties for the Boolean algebra of sets P(S) (power set)

Write all axioms and properties for the Boolean algebra of sets: $S = set$ $(P(S), \cap$$, ∪ , complement; ∅, S)$ I know the axioms of Boolean algebra but I am not sure how to translate that to a ...
0
votes
0answers
82 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
0answers
37 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?
0
votes
0answers
48 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?
0
votes
0answers
38 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 ...
0
votes
0answers
46 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 ...
0
votes
0answers
34 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 ...
0
votes
0answers
64 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
46 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
52 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 ...