**GEB, стр. 23**
Метаматематика: изучение самой математики.
Главный вопрос: если парадоксы проникли в теорию множеств — почему бы им не проникнуть в арифметику?
Нужна единая нотация. Кодификация всех методов рассуждений.
Так родились "Основания математики" Рассела-Уайтхеда: вывести всю математику из логики. Без противоречий.