New posts in Foundations

Learn QM algebraic formulations and interpretations

What does Cohen independence theorem say?

Foundations without axiom schema of replacement

Axiomatic definition of groups

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

How can someone reject a math result if everything has to be proved?

Are we still Researching the Foundations of Math?

Is Pythagoras' Theorem a theorem?

What is the difference between Formal Logic and Proofs?

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