Разумеется, грань между повышением общеобразовательного уровня и профессиональной подготовкой зачастую стирается. Скажем, знакомство с аксиоматическим методом значимо не только в плане общего образования.
Разъясним прежде всего, как в рамках этого метода трактуется слово «аксиома». В повседневном языке аксиома понимается, скорее всего, как утверждение настолько очевидное, что оно не требует доказательств. Однако авторитетный толковый словарь Ушакова вообще отрицает принадлежность слова «аксиома» повседневному языку, относя один из оттенков его значения к математике, а другой – к языку книжному[14]. Словари же иностранных слов – и словарь Крысина[15], и словарь Захаренко и др.[16] – если и впускают это слово в повседневный язык, то лишь в значении, квалифицируемом как переносное: «Бесспорное, не требующее доказательств положение». Основное же, даваемое первым значение слова «аксиома» эти словари толкуют сходным образом: «Исходное положение, принимаемое без доказательств и лежащее в основе доказательств истинности других положений» (словарь Крысина), «Отправное, исходное положение какой-либо теории, лежащее в основе доказательств других положений этой теории, в пределах которой оно принимается без доказательств» (словарь Захаренко и др.). Таким образом, в том своём значении, которое является основным для математиков, аксиомы трактуются не как положительные утверждения, а как формулировки предположений. В современной математике развитие какой-либо аксиоматической теории происходит следующим образом: предположим, что верно то, что записано в аксиомах, тогда окажется верным то-то и то-то.
Сущность аксиоматического метода останется непонятной без предъявления содержательных примеров. Сообщим поэтому, как выглядит фрагмент одной из аксиоматических систем для геометрии. Сперва объявляется, что существуют два типа объектов; объекты первого типа называются точками, объекты второго типа – прямыми. Что это за объекты, как они «выглядят», намеренно не объясняется. Далее декларируется, что существует некоторое отношение, называемое отношением инцидентности, в которое могут вступать между собой отдельно взятая точка и отдельно взятая прямая. Что это за отношение, опять-таки не объясняется, сообщается лишь, что если даны точка и прямая, то они могут быть инцидентны друг другу, а могут быть и не инцидентны. Если точка инцидентна прямой, то говорят, что точка лежит на этой прямой, а прямая