“И в самом деле, — писал Ганс Ган, — едва ли на первый взгляд правдоподобно, что вся математика с ее теоремами, добытыми тяжким трудом, и зачастую неожиданными результатами может быть сведена к одним лишь тавтологиям. Однако этот довод упускает из виду одну небольшую деталь: мы, люди, не всеведущи. Всеведущее существо, естественно, мгновенно осознавало бы все следствия из заявленного набора утверждений. Такое существо мгновенно понимало бы, что на основе договоренностей о применении числительных и знака «×» смысл выражений «24 × 31» и «744» одинаков, ибо всезнающему существу нет нужды ни в логике, ни в математике” {28}.