Philosophy of mathematics

Philosophy of mathematics Metamathematics metatheories

Schools of mathematics

• Intuitionism

• Pre-intuitionism