в шары долбишься, что ли где там ответ на всё конечно, Воеводский фанатик, но грамотный и продуктивный фанатик но проблема с доказательностью совершенно очевидна всем, кто читал хоть что-то, кроме книжек Розенбаум-тян и H-\lambda — лучшая из существующих контрмер убей себя, плизки

> В 2005 мне удалось сформулировать несколько идей, которые неожиданно открыли новый подход к одной из основных проблем в основаниях современной математики. Проблему эту можно неформально сформулировать как вопрос о том, как правильно формализовать интуитивное понимание того, что "одинаковые" математические объекты имеют одинаковые свойства. Я вот подумал, а ведь в физике есть подобный момент, что одинаковые частицы имеют одинаковые свойства - принцип тождественности.

@o01eg это немного другое: унивалентные основания позволяют /формально/ отождествить одинаковые математические структуры, возникающие на разных уровнях. эээ, не абстракции, а "построения" уничтожение денотата, в общем