Newbetuts
.
New posts in axioms
The theory in probability
probability
probability-theory
mathematical-modeling
axioms
independence
System with infinite number of axioms
logic
axioms
incompleteness
Why do finitists reject the axiom of infinity? [closed]
axioms
philosophy
finitism
When the mathematical community consider the inclusion of a new axiom?.
soft-question
philosophy
axioms
What set theory axioms do I need to believe in uncountable ordinals?
set-theory
ordinals
axioms
Is it possible to prove the axiom of infinity from the real number axioms?
set-theory
model-theory
axioms
Axiom schema of specification (formula arguments)
logic
set-theory
axioms
Relationship between Category theory and Axiomatic set theory
set-theory
category-theory
model-theory
axioms
What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"
logic
axioms
foundations
peano-axioms
reverse-math
What is the relation between axiomatic set theory and logical quantifiers?
logic
set-theory
axioms
topos-theory
Is it possible to prove reflexive, symmetric and transitive properties of equality and the transitive property of inequality?
real-analysis
proof-verification
axioms
Why such stark contrast between the approach to the continuum hypothesis in set theory and the approach to the parallel postulate in geometry?
geometry
set-theory
axioms
Prove the distributive law $a(b+c)=ab+ac$ for real numbers?
algebra-precalculus
axioms
Tao Real analysis: question on function definition (should it be an axiom?)
logic
axioms
foundations
How can I write the Axiom of Specification as a sentence?
set-theory
logic
axioms
Why is Axiom of Choice "a convenient and safe labour-saving device"?
real-analysis
analysis
set-theory
axiom-of-choice
axioms
What is the difference between an axiom and a definition?
field-theory
definition
axioms
Why is "totally ordered" necessary in this implication of the Axiom of Foundation
elementary-set-theory
axioms
Is the "domain of discourse" in axiomatic set theory also a "set"?
logic
set-theory
predicate-logic
axioms
Why is "lies between" a primitive notion in Hilbert's Foundations of Geometry?
geometry
euclidean-geometry
axioms
axiomatic-geometry
Prev
Next