nLab formalism

Contents

Context

Philosophy

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Contents

Idea

Formalism is one of the classical schools of the philosophy of mathematics.

Last revised on April 5, 2020 at 21:07:48. See the history of this page for a list of all contributions to it.