Newbetuts
.
New posts in axioms
Proving the pairing axiom from the rest of ZF
set-theory
axioms
Why this formulation is not the official exposition of ZF-?
set-theory
axioms
philosophy
Euclid / Hilbert: "Two lines parallel to a third line are parallel to each other."
geometry
axioms
Could we ever hope to integrate all functions?
real-analysis
integration
set-theory
axioms
descriptive-set-theory
What is needed to make Euclidean spaces isomorphic as groups?
group-theory
vector-spaces
set-theory
axiom-of-choice
axioms
ZFC + not-CH, can a set with cardinality between $\aleph_0$ and $2^{\aleph_0}$ be defined?
set-theory
cardinals
axioms
A confusion about Axiom of Choice and existence of maximal ideals.
ring-theory
axiom-of-choice
axioms
Why are the axiom of specification is an axiom schema? Why not just a single axiom?
logic
set-theory
axioms
Why is the infinite set from the axiom of infinity the natural numbers?
set-theory
axioms
What is the smallest fragment of ZFC that has the same consistency strength as ZFC?
set-theory
axioms
Proof that every circle has the ratio of $\pi$
geometry
axioms
How should I interpret $y-x$ in this context?
real-analysis
analysis
axioms
Why is Q (Robinson arithmetic) both undecidable and axiomatizable?
logic
arithmetic
computability
axioms
decidability
Does Euclidean geometry require a complete metric space?
real-analysis
soft-question
euclidean-geometry
model-theory
axioms
A first order sentence such that the finite Spectrum of that sentence is the prime numbers
logic
prime-numbers
model-theory
axioms
Why doesn't Halmos include the Axiom of Regularity?
soft-question
set-theory
axioms
Difference between Logical Axioms and Rules of Inference
logic
propositional-calculus
axioms
natural-deduction
hilbert-calculus
What are the postulates that can be used to derive geometry?
geometry
big-list
euclidean-geometry
axioms
Simplest axiom that entails the existence of an infinite set
set-theory
first-order-logic
predicate-logic
infinity
axioms
Why accept the axiom of infinity?
logic
set-theory
infinity
philosophy
axioms
Prev
Next