Диалоговая теория доказательства для арифметики, анализа и теории множеств

В работе показано, что в непредикативных расширениях интуиционистской арифметики, “интуиционистских”анализа и теории множеств Цермело–Френкеля с помощью подходящих аксиом “запирания” может быть показана непротиворечивость классических арифметики, анализа и теории множеств. Выдвигаются аргументы в пользу того, что проведенные доказательства позволяют обосновать настоящую непротиворечивость классических систем.