New posts in axioms

Can a line in a projective plane have just two points?

geometry projective-geometry axioms

Touch-axiomatization of point-set topology

general-topology axioms

Which statements are equivalent to the parallel postulate?

geometry reference-request euclidean-geometry big-list axioms

Do Kolmogorov's axioms really need only disjointness rather than pairwise disjointness?

probability probability-theory elementary-set-theory axioms

In simple words: What does Woodin's $(*)$ axiom and Martin's maximum state?

soft-question set-theory axioms

What happens if we remove the requirement that $\langle R, + \rangle$ is abelian from the definition of a ring?

abstract-algebra ring-theory terminology definition axioms

What do mathematicians mean when they say some conjecture can’t be proven using the current technology?

axioms conjectures open-problem

Vector Spaces: Redundant Axiom?

linear-algebra vector-spaces definition axioms

What is an axiom in layman's terms? [closed]

Why is the Axiom of Infinity necessary?

set-theory infinity axioms peano-axioms

Non-constructive axiom of infinity

set-theory axioms

When do surjections split in ZF? Two surjections imply bijection?

set-theory axiom-of-choice axioms

How to demystify the axioms of propositional logic?

logic propositional-calculus axioms

Is there an axiomatic approach to ordinal arithmetic?

reference-request ordinals axioms

what is the relationship between ZFC and first-order logic?

elementary-set-theory axioms

Why hasn't GCH become a standard axiom of ZFC?

set-theory cardinals axioms

Is there other function $f$ such that $f(x, y) + f(y, z) \geq 2f(x,z)$? What is it name?

functions definition axioms

Zero vector of a vector space

linear-algebra vector-spaces axioms

How do model theorists define structures?

logic model-theory axioms

axioms of equality

logic set-theory axioms