Баталин, А. В.Пославский, С. А.Шабанов-Кушнаренко, Ю. П.2018-12-202018-12-201999Баталин А. В. Идентификация категории количества. 1 / А. В. Баталин, С. А. Пославский, Ю. П. Шабанов-Кушнаренко // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : ХГТУРЭ, 1999. – Вып. 1. – С. 95–104.http://openarchive.nure.ua/handle/document/7599Предпринимается попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дается аксиоматическая характеристика понятий натурального числа, счета, сложения, умножения и порядка на множестве натуральных чисел. Идентифицируются первичные понятия теории положительных и произвольных рациональных чисел. Средствами логической математики проводится аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними.ruкатегория количествааксиоматическая характеристика понятийалгебра подстановочных операцийArticle