За этими определениями следуют пять постулатов: «Допустим:
1) что от всякой точки до всякой точки можно провести прямую линию;
2) и что ограниченную прямую можно непрерывно продолжить по прямой;
3) и что из всякого центра и всяким раствором может быть описан круг;
4) и что все прямые углы равны между собой;
5) и если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньше двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых».
1) Если бы один из них увидел на двоих других две серые шапки, то он сразу бы сказал бы о себе: "На мне черная".
2) Если бы увидел на другом одну серую и на другом одну черную, то задумался бы: "На мне серая или черная". То же сделал бы другой ученый с черной шапкой. Так как двое с черной шапкой некоторое время думали бы об этом, то они бы ничего не говорили. Им в голову бы пришло, что они оба увидели только одну серую шапку (ведь второй тоже видит, то что видит первый на третьем с серой шапкой). Поэтому не могут точно сказать, какая шапка на них. Но в конце-концов они поняли бы, что на них черные шапки, и после некоторого раздумья это сообщили бы. Причем сообщили бы это двое.
3) На всех черные шапки. Здесь все думали бы несколько дольше. Перебрали бы в голове 2-й вариант. Так как 1-й уже невозможен. Так как после некоторого раздумья двое не сказали, что на них черные шапки, значит на всех них черные шапки!
Вот вся цепочка раздумий