I don’t really understand the purpose of an axiom if some laws cannot be derived from them. For example, how is one supposed to prove De Morgan’s laws with only the axioms of probability?

I am familiar with two different sets of field axioms. The first one is from “Mathematical Analysis” by Apostol. It has the first $3$ usual axioms, but the $4^{th}$ one is different: Axiom 1: Commutative Laws $x+y=y+x$, $xy=yx$ Axiom 2: Associative Laws $x+(y+z)=(x+y)+z$, $x(yz)=(xy)z$ Axiom 3: Distributive Law $x(y+z)=xy+xz$ Axiom 4: Given any two real […]

This question already has an answer here: For each $x,y,z∈\mathbb N$, if $x<y$ then $x+z<y+z$ 2 answers Prove that if $x\leq y$ then $x+z\leq y+z$ 1 answer

On page of 22 Terry Tao’s Analysis I, he writes (after presenting the Peano axioms): Remark 2.1.14. Note that our definition of the natural numbers is axiomatic rather than constructive. We have not told you what the natural numbers are (so we do not address such questions as what the numbers are made of, are […]

In ZF, the Power Set Axiom (POW) says that given any set $A$, there exists a set $\mathcal{P}(A)$ such that $$ \forall a(a\in\mathcal{P}(A)\leftrightarrow a\subseteq A)\tag{1} $$ Questions: On many occasions, I’ve seen POW stated like this: “For any set $A$ there is a set consisting of all subsets of $A$.” Would a more precise formulation […]

This question already has an answer here: Is Godel's modified liar an illogical statement? 1 answer

I was looking at potential theorems, and this one came up: $$\bigg(\exists x ~ \forall y ~:~ f(x, y) \bigg) \iff \bigg(\forall y() ~ \exists x ~:~ f(x, y(x))\bigg)$$ (where the second $y$ is being quantified over all total unary functions) Does this proposition have a name? It is a generalization of $$(a_{00} \land a_{01}) […]

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 present one. 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 […]

This question already has an answer here: Intuition behind Matrix Multiplication 12 answers

I am just beginning to learn the ZF axioms of set theory, and I am having trouble understanding the Axiom of Foundation. What exactly does it mean that “every non-empty set $x$ contains a member $y$ such that $x$ and $y$ are disjoint sets.” In particular, how can $y$ be an element of a set […]

Intereting Posts

Why is the Monster group the largest sporadic finite simple group?
A sequence of random variables which converges in distributon converges “to” some random variable
In a reduced ring the set of zero divisors equals the union of minimal prime ideals.
How prove this there exsit set $B$ such $card(B)>\dfrac{n}{3}$,
Contractibility of the space of sections of a fiber bundle
When is a finite sum of powers of non-integer a rational number?
Generate solutions of Quadratic Diophantine Equation
If $\langle a,b \rangle=0$, then $a,b$ are perpendicular?
Hypergeometric function integral representation
simplify $(a_1 + a_2 +a_3+… +a_n)^m$
What is the correct answer to this answered combinatorics problem?
Finding the kernel, eigenvalues, and eigenvectors of the operator $L(x) := x'' + 3 x' + 4 x$
Under what conditions can I interchange the order of limits for a function of two variable?
What does the superscript $t$ in this matrix addition problem mean?
It's a complicated case of simple dice roll.