Математические начала натуральной философии
28 апреля 1686 года первый том «Математических начал» был представлен Королевскому обществу. Все три тома, после некоторой авторской правки, вышли в 1687 году. Тираж (около 300 экземпляров) был распродан за 4 года — для того времени очень быстро. Два экземпляра этого редчайшего издания хранятся в России; один из них Королевское общество в годы войны (1943) подарило Академии наук СССР на празднование 300-летнего юбилея Ньютона. При жизни Ньютона книга выдержала три издания; при каждом переиздании Ньютон вносил в текст существенные дополнения, улучшения и уточнения.
Аксиомы Пеано
Необходимость формализации арифметики не принималась всерьёз до появления работы Германа Грассмана, который показал в 1860-х, что многие факты в арифметике могут быть установлены из более элементарных фактов о функции следования и математической индукции. В 1881 году Чарльз Сандерс Пирс опубликовал свою аксиоматизацию арифметики натуральных чисел. Формальное определение натуральных чисел в 1889 году сформулировал итальянский математик Пеано, основываясь на более ранних построениях Грассмана, в своей книге «Основания арифметики, изложенные новым способом» (). В 1888 году (за год до Пеано) практически в точности подобную аксиоматическую систему опубликовал Дедекинд. Непротиворечивость арифметики Пеано в 1936 году Генценом с помощью трансфинитной индукции до ординала formula_30 Как следует из второй теоремы Гёделя о неполноте, это доказательство не может быть проведено средствами самой арифметики Пеано.