New posts in axioms

I am losing my motivation to study math, what should I do? (philosophy of axioms and formal math) [closed]

A model of geometry with the negation of Pasch’s axiom? [duplicate]

Equality of positive rational numbers.

Is $\mathrm{ZFC}^E$ outright inconsistent?

ZF Extensionality axiom

Motivating implications of the axiom of choice?

Axiom schema and the definition of natural numbers

Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry

Why do we want the Axiom of the Power Set?

The smallest infinity and the axiom of choice

Axiomatic Foundations

Why the axioms for a topological space are those axioms?

What does "extension" mean in the Axiom of extension

How does the axiom of regularity make sense?

In axiomatization of propositional logic, why can uniform substitution be applied only to axioms?

What is the difference between an axiom and a postulate?

Can we axiomatize a field starting with the binary operations and only “equational” axioms?

Multiplication by One

How much math do we need to prove all simple numeric identities?

Axiomatizing topology through continuous maps