Рассмотрим теперь два геометрических примера. Если я хочу непрерывным движением точки описать в плоскости кривую, то здравый смысл подсказывает, что во всех её точках (кроме, может быть, нескольких исключительных точек) кривая будет иметь касательную (другими словами, в каждый момент движение обязательно происходит во вполне определённом направлении). Мы не знаем, как здравый смысл — т. е. наше бессознательное — приходит к такому выводу; может быть, благодаря опыту, т. е. вспоминая кривые, которые мы привыкли видеть; или, как это предполагает Ф. Клейн, смешивая геометрические кривые, которые не имеют толщины, с кривыми, которые мы реально можем провести и которые всегда имеют некоторую толщину. В действительности вывод ошибочен: математики умеют строить непрерывные кривые, которые нигде не имеют касательной.
В качестве второго примера рассмотрим замкнутую плоскую кривую, которая не имеет «двойных точек», т. е. нигде не пересекается сама с собой. Для здравого смысла очевидно, что такая кривая, какова бы ни была её форма, делит плоскость либо на две различные области, либо более чем на две. Точно не известно, как здравый смысл приходит к такому выводу, и вероятно, что здесь снова налицо вмешательство эмпиризма. На этот раз заключение (теорема Жордана) правильно, но, несмотря на его очевидность для нашего здравого смысла, его доказательство очень трудное.
С помощью таких примеров можно понять, что, по крайней мере для некоторого класса вопросов, связанных с основами 103, невозможно с уверенностью полагаться на нашу обычную пространственную интуицию: так же, как геометрические свойства могут быть сведены к свойствам аналитическим благодаря аналитической геометрии, рассуждения всегда должны быть полностью арифметизованы; или, по крайней мере, необходимо убедиться, что такая арифметизация возможна, даже если она для краткости не проводится. Слова Паскаля «Всё, чего не может геометрия, не можем и мы» заменены современными математиками словами «Всё, чего не может арифметика, не можем и мы».
Например, доказательство теоремы Жордана, сформулированной выше, является удовлетворительным лишь тогда, когда оно полностью арифметизовано 104.
Вторая стадия — изучение математики
После этой стадии здравого смысла приходит следующая стадия — научная. Мы видели, что она характеризуется наличием тройной операции: проверки результата, его «завершения» и особенно его подготовки к использованию, что требует формулировки результата-эстафеты. Мы видели, что это существенно, во-первых, для того, чтобы иметь уверенность в приобретённых таким образом знаниях и для того, чтобы иметь возможность их плодотворно использовать.
