Infrafiltration theorem and some inductive sequence of models of generalized second-order Dedekind theory of real numbers with exponentially increasing powersтезисы доклада Электронная публикация Тезисы