Ты знаешь, мне показалось, что вся эта история с геометрией, в данном случае она была просто ступеньками,ч тобы прийти к нужному нам результату. Аксиома, которую Лёша выкидвал, чтобы прийти к 57 карточкам - непересечение параллельных прямых. То есть, сначала он работал с "пучками", в этот момент детские мозги плавились от переопределения параллельных прямых на квадрате. А потом он отменил их параллельность - и в этот момент мозги плавились от точек "на бесконечности". Добавить ещё определение прямой, на которой не бесконечное число точек - тоже, нам с тобой вполне очевидный шаг, но я верю, что и тут детей мы могли потерять. Можно было всё это сделать одним шагом - определим наш мир следующим образом, - но это было бы сложно. Отсюда и жонглирование набором аксиом, чтобы подвести к результату постепенно, выдавая порции, которые реально переварить.