£199.99 £139.99 for one year of Unlimited learning. Offer ends on 14 November 2022 at 23:59 (UTC). T&Cs apply

Find out more
Formal Mathematics
Skip main navigation

Formal Mathematics

What do we know about Mathematics. How can we be sure that $$1+1=2$$? In this article we look at a famous attempt to formalise all of Maths.
A screen shot from Principia Mathematica

Between 1910 and 1913 British Mathematicians Alfred North Whitehead and Bertrand Russell published three versions of their book Principia Mathematica.

In these books they attempted to formalise all known mathematics and logic, in the most basic sense possible. They wanted to build up from the start and establish the foundations of the subject.

These works took them around 360 pages to be able to prove that (1+1=2).

Have a look at the video below, and your ideas will be useful in our discussion in the next step.

It contains certain things that we, would consider most obvious, such as ‘any list of numbers must have at least one number greater than or equal to all of the others’.

This article is from the free online

Preparing for Further Study in Mathematics

Created by
FutureLearn - Learning For Life

Our purpose is to transform access to education.

We offer a diverse selection of courses from leading universities and cultural institutions from around the world. These are delivered one step at a time, and are accessible on mobile, tablet and desktop, so you can fit learning around your life.

We believe learning should be an enjoyable, social experience, so our courses offer the opportunity to discuss what you’re learning with others as you go, helping you make fresh discoveries and form new ideas.
You can unlock new opportunities with unlimited access to hundreds of online short courses for a year by subscribing to our Unlimited package. Build your knowledge with top universities and organisations.

Learn more about how FutureLearn is transforming access to education