TY - JOUR T1 - КОНЕЧНАЯ АРИФМЕТИКА И ЕЁ РАСШИРЕНИЯ AU - Ловягин, Ю Н AU - Якубсон, М Я AU - Косовская, Т М Y1 - 2024-08-22 UR - https://rep.herzen.spb.ru/publication/16944 N2 - Излагается подход к моделированию вещественных чисел посредством расширения некоторой аксиоматической системы для натуральных чисел.