nLab
formalism

Context

Philosophy

Foundations

Contents

Idea

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