Сначала разберёмся, кого они загадывали. Вот список героев книги:
Буратино, Карло, Джузеппе, Сверчок, Арлекин, Пьеро, Мальвина, Артемон, Карабас, Дуремар, Алиса, Базилио.
Вроде всё.
Ясно, что Таня загадала Буратино, он один из 8 разных букв.
Юля загадала персонажа из 7 букв, всего на 1 букву меньше, чем Таня.
Но вот кого загадала Юля?
Если Дуремар, Артемон, Арлекин или Сверчок, то это 7 разных букв.
Тогда Юля использовала разных букв на 1 меньше, чем Таня.
Если же она загадала Базилио, то это 6 разных букв, на 2 меньше Тани.
А если Карабас, то это 5 разных букв. Тогда разных на 3 меньше.
За этими определениями следуют пять постулатов: «Допустим:
1) что от всякой точки до всякой точки можно провести прямую линию;
2) и что ограниченную прямую можно непрерывно продолжить по прямой;
3) и что из всякого центра и всяким раствором может быть описан круг;
4) и что все прямые углы равны между собой;
5) и если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньше двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых».