Спросите «человека с улицы», в чём состоит аксиома о параллельных прямых и в чём заключается открытие Лобачевского. Эксперимент показывает, что на первый вопрос ответ будет в большинстве случаев таким (причём и в России, и в Америке): аксиома состоит в том, что параллельные прямые не пересекаются. А в ответ на второй вопрос вам, скорее всего, скажут: Лобачевский доказал, что параллельные прямые пересекаются. При этом отвечающий, как правило, знает, что прямые называются параллельными, если они лежат в одной плоскости и не пересекаются. В значительном числе случаев ответившего можно убедить в ошибочности обоих ответов. В случае вопроса об аксиоме многие (но не все!) понимают, что коль скоро слово «параллельные» – это синонимичное название для непересекающихся прямых, то объявлять непересекаемость параллельных аксиомой довольно бессмысленно. (Это всё равно как объявить такую аксиому: «Всякий красный предмет является красным». Впрочем, ощутимое количество людей не имеют ничего против такой аксиомы.) Что до открытия Лобачевского, то, в чём бы оно ни состояло, ясно, что прямые линии, называемые параллельными, пересечься не могут.

Вопрос про аксиому о параллельных прямых не является, разумеется, вопросом на испытание памяти. Точно так же вопрос об открытии Лобачевского не является вопросом на проверку эрудиции. Оба вопроса – на понимание смысла делаемых утверждений. Строго говоря, вся ситуация лежит здесь не в сфере математики, а в сфере упоминавшейся выше логики русского или иного естественного языка. И это довольно типично: значительная часть того, что происходит на уроках математики для гуманитариев, как раз и должна, по нашему разумению, состоять в обсуждении этой логики, а отчасти и в обучении ей. Математики впитывают семантику неосознанно, поскольку занятия математикой невозможны без чётко сформулированных утверждений. Столь же неосознанно у гуманитариев семантика размывается – не без влияния расплывчатых текстов гуманитарных наук. (И для гуманитария такая размытость семантики зачастую необходима.)

Диалог математика с гуманитарием о параллельных прямых мы считали бы полезным и поучительным для обеих сторон. Вот ещё пример такого полезного и поучительного диалога:

Надо признать, впрочем, что ответ «Да, существует» на вопрос о ближайшей точке даётся хотя и весьма часто, но всё же реже, чем приведённые выше ответы о сущности аксиомы о параллельных и открытии Лобачевского.

Результатом диалога о ближайшей точке должно стать отнюдь не только уяснение гуманитарием того, что для данной точки не существует ближайшей к ней точки справа; несуществование такой точки – это, в конце концов, всего лишь математический факт. Не менее, а скорее даже более важным является уяснение математиком тех деталей психологии гуманитария, которая заставляет его считать, что такая точка существует.

Дело в том, что представление о 'ближайшем' формируется у гуманитария (как и у всякого человека) не на основе изучения такого сложного образования, как континуум точек на прямой, а на основе наблюдений материальных предметов окружающего мира. Наблюдение же, скажем, окон дома или кресел в театральном зале не оставляет сомнений в наличии ближайшего справа окна или кресла. (Предвидя ехидное возражение мелочного педанта, прибавим: если только исходное окно или кресло не является крайним.)

Из сказанного можно сделать такое заключение: наш пример с ближайшей точкой есть конкретное проявление некой общей трудности, имеющей философский характер. Трудность состоит в следующем. Математика изучает идеальные сущности (каковыми являются, в частности, точки), но обращается с ними, как если бы они были реальными предметами физического мира (например, применяет к точкам понятие 'ближайший'). Но в таком случае математик обязан отдавать себе отчёт в том, что подобный квазиматериальный подход к абстракциям, если не сделать специальных оговорок, влечёт за собой перенесение на эти абстракции шлейфа представлений, которые абстракциям не свойственны, а заимствуются из обращения с физическими предметами.

Что до упомянутых «специальных оговорок», они делаются явно, а подсознательно впитываются математиками в процессе их обучения. В случае точек на прямой указанный шлейф включает в себя представление о точках на прямой как о мельчайших бусинах, нанизанных на натянутую нить. Разумеется, в рамках такого представления естественно предполагать наличие ближайшей точки и даже быть уверенным в её наличии.

Порядок точек на прямой является в математической терминологии плотным порядком; термин «плотный» означает, что для любых двух участвующих в этом упорядочении объектов, каковыми в данном случае служат точки прямой, найдётся объект (в данном случае точка) между ними. В окружающем нас материальном мире плотных порядков не встречается.

Вот другой пример на ту же тему. Одной из математических абстракций является пустое множество. Само понятие 'множество', подобно понятию 'натуральное число', представляет собой одно из первичных, неопределяемых математических понятий, познаваемых из примеров. Синонимом математического термина «множество» является слово «совокупность»; объекты, входящие в какую-либо совокупность, она же множество, называются её (соответственно его) элементами.

Слово «множество» может навести на мысль, что в множестве должно быть много элементов, тем более что главное, общеупотребительное значение этого слова действительно выражает данную мысль, как, например, во фразе «Можно указать множество причин…». Эта ложная мысль разрушается уже заявлением, что «множество» (в математическом смысле) и «совокупность» суть синонимы: ведь количество элементов в совокупности может быть и малым. Заметим, кстати, что переводы термина «множество» на французский (ensemble) и на английский язык (set) не содержат идеи 'много'.

Зададимся теперь вопросом, может ли совокупность состоять из одного элемента. Математик ответит категорическим «да». Для гуманитария же минимально возможное количество элементов совокупности – это два. Но математики свободно оперируют и пустым множеством, вовсе не содержащим элементов. На занятиях по математике гуманитарии быстро усваивают это понятие (в частности, соглашаются, что пустое множество единственно: пустое множество крокодилов и пустое множество планет – это одно и то же множество).