17 Ловягин Ю Н Якубсон М Я Косовская Т М Аксиоматические системы формализованная теория чисел арифметика Axiomatic systems formalized number theory arithmetic 2024 2024-08-22 Излагается подход к моделированию вещественных чисел посредством расширения некоторой аксиоматической системы для натуральных чисел. https://rep.herzen.spb.ru/publication/16944 https://rep.herzen.spb.ru/files/8380