Пивная кружка "Охота на лося", с крышкой, 0,5 л, 18 см

Давид Гильберт
В 1899 году Гильберт предложил новую систему из 20 аксиом, среди которых явно не было ни одной лишней и (казалось) не было пробелов. Гильберт подчеркнул логическое совершенство своей конструкции шутливой фразой: "Справедливость аксиом и теорем ничуть не поколеблется, если мы заменим привычные термины "точка, прямая, плоскость" другими, столь же условными: "стул, стол, пивная кружка"! Этот успех внушил Гильберту надежду, что в каждой области математики можно ввести полную и строгую систему из необходимых и достаточных определений и аксиом. Вывод всех прочих утверждений из этих основ можно будет формализовать так, что он станет доступен вычислительной машине. Правда, она будет медленно ползти к той цели, которой человеческий разум нередко достигает одним дерзким прыжком. Зато каждую догадку можно будет проверить " медленно, но надежно. Гильберт сознавал, что эта его надежда является гипотезой и требует тщательной проверки. В качестве контрольного примера он выбрал общую теорию множеств, а в ней " знаменитую континуум-гипотезу Кантора. Существует ли на отрезке несчетное множество мощности меньшей, чем сам отрезок" Безуспешно пытаясь построить такое множество, Георг Кантор довел себя до психического расстройства.