Новый Мир ( № 12 2007)

Ни что такое куздры, ни что такое бокры, ни что такое будлать — всё это оставляется неразъяснённым. Оказывается, однако, что разъяснения и не требуются для получения из этих утверждений определённых заключений — то есть таких утверждений, которые непременно являются истинными при условии истинности всех утверждений нашего исходного квартета. Убедимся, например, что (5)два различных бокра не могут одновременно быть будлаемы более чем одной куздрой.В самом деле, если бы таких куздр было две, то они совместно будлали бы двух наших бокров, что запрещено утверждением (2). Для собственного развлечения читатель может доказать, например, такой факт: (6)для каждых двух куздр найдётся такая третья куздра, что нет бокра, которого будлали бы все эти три куздры

.

Итак, что мы имеем. Мы имеем какие-то объекты (в данном случае — куздры и бокры) и отношения между ними (в данном случае — отношение будлания). Относительно этих объектов и отношений нам не известно ничего, кроме некоторых их свойств, сформулированных в заявленных утверждениях, в данном случае — в утверждениях (1) — (4). Эти заявленные утверждения суть не что иное, какаксиомы(в данном случае — аксиомы куздроведения). Они используются для того, чтобы, принимая их в качестве истин, выводить из нихтеоремы,

то есть дальнейшие утверждения о наших объектах и отношениях (одну теорему куздроведения мы доказали, другую предложили доказать читателю). Так строится любая аксиоматическая теория, в частности — геометрия. Ограничимся для простоты планиметрией, то есть геометрией плоскости, без выхода в трёхмерное пространство. Основные объекты планиметрии суть точки и прямые. Основных отношений четыре:

1. Отношениеинцидентностимежду точками и прямыми: точка и прямая могут быть или не быть

инцидентныдруг другу. В школьной геометрии употребляется более приземлённая терминология: когда точка и прямая инцидентны, говорят “точкалежит напрямой” или же “прямаяпроходит через

точку”.

2. Отношение ‘между’, связывающее тройки точек: из трёх точек одна может лежать или не лежатьмеждудвумя другими.