New posts in axioms

Modeling numbers with vectors of vectors?

vector-spaces prime-numbers axioms surreal-numbers

Why do we take the axiom of induction for natural numbers (Peano arithmetic)?

axioms

Is Euclid's Fourth Postulate Redundant?

geometry euclidean-geometry math-history proof-verification axioms

A weaker Axiom of Infinity?

set-theory axioms

Logical Conditional Truth Table Rationale

discrete-mathematics logic axioms

ZF: Difference between POW and SEP?

set-theory axioms

Can a function be considered odd or even if has a discontinuity?

functions continuity axioms

Is there a proof that performing an operation on both sides of an equation preserves equality?

abstract-algebra group-theory proof-writing axioms

Axiom Schema of Separation Parameters

logic set-theory definition axioms

How far is it true that statements dependent on Axiom of Choice are not constructive.

set-theory axiom-of-choice axioms constructive-mathematics

Kolmogorov's probability axioms

probability axioms

What's objectionable about the Axiom of Countable Additivity?

probability axioms

How can one prove the axiom of collection in ZFC without using the axiom of foundation?

logic set-theory axiom-of-choice axioms foundations

Should this "definition" of set equality be an axiom?

logic axioms foundations

Derive $P \to \neg \neg P$ in a structure with not and implies

logic propositional-calculus axioms hilbert-calculus

Potential misunderstanding in reading Set Theory by Hrbacek

elementary-set-theory axioms

which axiom(s) are behind the Pythagorean Theorem

geometry euclidean-geometry axioms

Why does what I've written fail to define truth?

logic reference-request predicate-logic first-order-logic axioms

Was there ever an axiom rendered a theorem?

logic soft-question math-history axioms

Which axioms of ZFC or PA are known to not be derivable from the others?

logic set-theory axioms