182

Я позволю себе игнорировать те «варианты» формализованной теории целого числа, возможность которых вытекает из принципиальной неполноты её аксиоматики; достаточно того, что они не имеют значения для реально работающих отраслей математики.