Но сюжет с параллельными прямыми на этом не заканчивается. Респондента, осознавшего абсурдность своего ответа, можно спросить, в чём же всё-таки состоит аксиома о параллельных. На этом этапе вы скорее всего получите такой ответ: “Через точку, не лежащую на заданной прямой, можно провести прямую, параллельную этой заданной прямой”. Это уже значительно лучше, потому что такой ответ всего лишь неверен, но уже не абсурден. Неверен же ответ потому, что представляет собою не аксиому, а теорему. (Теорема эта доказывается чрезвычайно просто: из точки надо сперва опустить перпендикуляр на заданную прямую, а затем из той же точки восставить перпендикуляр к опущенному перпендикуляру; тогда заданная прямая и восставленный перпендикуляр будут перпендикулярны к одной и той же прямой — а именно к опущенному перпендикуляру — и потому параллельны.) Подлинный же смысл аксиомы о параллельных не разрешительный, а запретительный: она утверждает не то, что нечто сделать можно, а то, что чего-то сделать нельзя, что чего-то не существует. Вот её правильная формулировка: