New posts in Foundations

Why doesn't the independence of the continuum hypothesis immediately imply that ZFC is unsatisfactory?

Difference between provability and truth of Goodstein's theorem

The Definition of Ordinals and the Axiom of Regularity

Category theory from the first order logic point of view

Is there an Elementary Theory of the Category of Groups?

Why did mathematicians choose ZFC set theory over Russell's type theory?

Finite set theory and the Axiom of the Power Set

Can we really intersect circles?

Some confusion about what a function "really is".

Correct formulation of axiom of choice