New posts in foundations

Type theory as foundations

reference-request foundations type-theory

Motivation for different mathematics foundations

category-theory set-theory foundations

Is multiplication of real numbers uniquely defined as being distributive over addition?

foundations binary-operations

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

set-theory foundations

What in Mathematics cannot be described within set theory? [duplicate]

elementary-set-theory soft-question foundations

What axioms does ZF have, exactly?

logic set-theory foundations

Are there areas of mathematics (current or future) that cannot be formalized in set theory?

set-theory philosophy foundations

Why does one have to check if axioms are true?

elementary-set-theory logic soft-question axioms foundations

Are there any nontrivial examples of contradictions arising in non-foundational or applied math due to naive set theory?

logic set-theory big-list foundations paradoxes

Some confusion about what a function "really is".

functions elementary-set-theory definition philosophy foundations

Is there a model of ZFC inside which ZFC does not have a model?

logic set-theory foundations

Prove that the axiom of choice is necessary in order to prove something else.

linear-transformations axiom-of-choice foundations

Terry Tao's computational perspective on set theory

soft-question set-theory foundations

Is $\mathbb{N}$ impossible to pin down?

logic soft-question model-theory philosophy foundations

Fractional Calculus: Motivation and Foundations.

soft-question special-functions foundations motivation fractional-calculus

Positive set theory, antifoundation, and the "co-Russell set"

set-theory foundations alternative-set-theories logic

Difference between provability and truth of Goodstein's theorem

logic philosophy foundations incompleteness peano-axioms

Can proof by contradiction 'fail'?

logic soft-question axioms foundations proof-theory

Why are we justified in using the real numbers to do geometry?

geometry analytic-geometry foundations

Are all "numbers" just one unit value transformed by a function?

elementary-number-theory foundations