Идентификация начальных логических понятий

Abstract

Предпринята попытка формального описания исходных понятий логики, которыми пользуется математиі в своей работе. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий равенства элементов, декартова произведения множеств, принадлежности элемента множеству операций объединения, пересечения и дополнения множеств, равенства множеств, связи отображений с отношениями.