Именно в ней математик заявил о решении континуум-гипотезы и проблемы простых чисел посредством «компьютера бесконечности» — примитивного калькулятора с символьными вычислениями, в котором имеется символ grossone (①), обозначающий число всех натуральных чисел, в строгом формальном смысле — конечное натуральное число.
Нәкъ менә шунда, математик континиум-гипотеза һәм гади саннар проблемасы "компьютер билгесезлеге" ярдәмендә - символлар кулланылган примитив калькуляторга таянып, символ grossone (①) булган, ул барлык натураль саннарның билгеләүче сан, кырыс формаль мәгънәдә - соңгы натураль сан икәнен исбатлый.