New posts in foundations

Prove that, if n sets are countably infinite, then the Cartesian product of all the sets is countably infinite.

foundations

Do we know the index of the minimal stage in the constructible universe which is a model of $ZFC$?

logic set-theory model-theory foundations

Does equality of sets follow not only from what they contain but also from what they are contained by?

elementary-set-theory set-theory foundations

Proving sets are infinite.

elementary-set-theory proof-verification induction foundations

Are the real numbers ever needed to prove a property of the natural numbers?

number-theory logic arithmetic peano-axioms foundations

Any branch of math can be expressed within set theory, is the reverse true?

elementary-set-theory logic math-history predicate-logic foundations

Developing category theory inside ETCS

category-theory foundations

Can all math results be formalized and checked by a computer?

logic predicate-logic first-order-logic foundations proof-theory

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

logic set-theory axiom-of-choice axioms foundations

Why not we avoid the phrase "if we assume AC " and take it as granted?

soft-question set-theory axiom-of-choice foundations descriptive-set-theory

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

logic axioms foundations

What is mathematical logic?

logic soft-question set-theory definition foundations

Looking for an approach to mathematical notation wherein the universe is divided into disjoint worlds.

notation foundations type-theory

When we say, "ZFC can found most of mathematics," what do we really mean?

logic set-theory foundations

Prove that the set of equivalence classes generated by ~ is uncountable

foundations

Category theory without sets

reference-request category-theory foundations

Do the Kolmogorov's axioms permit speaking of frequencies of occurence in any meaningful sense?

probability probability-theory logic philosophy foundations

Preserving equality between different mathematical objects

soft-question model-theory foundations

A "clean" approach to integrals.

integration analysis soft-question foundations

What makes radians superior to turns/revolutions?

trigonometry complex-numbers foundations angle