About identification of some initial logical concepts

Формально описаны некоторые исходные понятия логики, которыми пользуется математик в своей работе. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий равенства элементов, простейших свойств предикатов, декартова произведения множеств.Розглянуто застосування логічної математики для формального опису математичних понять на її мові, у тому числі і понять, що вводяться самою логічною математикою. У якості інструменту опису використовується мова алгебри скінченних предикатів і предикатних операцій. Рішення цієї задачі дозволить навчити комп'ютер оперувати поняттями, подібно до того, як це робить людина.Application of logical mathematics is considered for the formal specification of mathematical concepts on it’s language, including concepts that is entered by logical mathematics. The eventual predicates algebra language and predicates operations algebra are used as description instrument. The decision of this task will allow to teach a computer to operate concepts, like that, how it does man