Самой общей и отвлеченной аксиомой ставшего бытия, выраженной в геометрических терминах, может служить такая.

1. Каждая геометрическая фигура конгруэнтна самой себе.

Обыкновенно говорят об отрезке, который равен самому себе, где бы мы его ни откладывали. Но, снижая это суждение до наибольшей внутренней краткости, можно сказать, что каждая геометрическая фигура просто конгруэнтна сама себе, так как для установления конгруэнтности достаточно эту линию (как выяснялось выше, в п. 2с[68]) отложить на ней же самой (для большей ясности это можно сделать с ее другого конца).

Этот общий геометрический принцип можно детализировать, как детализировали мы в § 65 аксиомы счета. Тогда его можно заменить рядом аксиоматических утверждений, из которых наиболее важны такие два.

2. Две или несколько геометрических фигур конгруэнтны между собою, если соответственно конгруэнтны их элементы.

Эта аксиома, во–первых, может являться аналогией для коммутативного и ассоциативного закона в арифметике. Если имеется линия и на ней точка, делящая эту линию в том или другом отношении, то безразлично, какую из этих обеих частей сначала откладывать на новой прямой; сумма их все равно будет конгруэнтна данной линии (коммутативный закон). Также, имея линию, разделенную на несколько частей, можно в любом порядке откладывать эти части; сумма от него не изменится (ассоциативный закон). Не требует пояснений и геометрический аналог дистрибутивного закона. Эта же аксиома охватывает и аксиому Гильберта ΙΠ 2: «Пусть А В и ВС—два отрезка на прямой а без общих точек; далее, пусть А'В' и В'С' — два отрезка на той же или на другой прямой а' тоже без общих точек. Если при этом А В конгруэнтна А' В' и ВС, то всегда также АС конгруэнтна А'С'».

3. Две фигуры, конгруэнтные третьей, конгруэнтны между собою.

Нет нужды пояснять полнейшую аналогию этой аксиомы с общей идеей арифметической конгруэнтности, формулированной выше, в § 65.2а. Ее считает нужным ввести в число своих аксиом конгруэнтности и Гильберт.

с) Наконец, эти общие аксиомы геометрической конгруэнтности могут быть распространены и на отдельные фигуры, если иметь в виду соответствующие аксиомы едино–раздельности. Таковы аксиомы:

1. Каждый отрезок может быть однозначно определенным образом отложен по любую сторону на любой прямой от любой точки.

2. Каждый угол может быть однозначно определенным образом отложен в любой плоскости по любую сторону при любом луче.

3. Каждое тело может быть однозначно определенным образом построено в любом пространстве при соответствующих координатных данных.

5. В заключение остается еще сказать несколько слов относительно связи аксиом конгруэнтности с предыдущими аксиомами. Если мы обозначим аксиомы едино–раз–дельности через А, аксиомы непрерывности через В, аксиомы конгруэнтности через С, то, минуя полную систематику всех возможных здесь геометрических комбинаций (что мы делаем во втором томе), можно покамест отметить такие четыре комбинации:

1) А, В, С,