ИСТИНА

Введится класс бинарных отношений над множествами, названных мной немайновыми бинарными отношениями. Грубо говоря, нейманово бинарное отношение есть бинарное отношение, сходное по свойствам с отношением принадлежности над теоретико-множественного универсума: экстенсиональности, фундированности, а также выполнения «принципа ограничения размера».В докладе все необхомые определения, а также теоремы, в том числе представлены необходимые и достаточные условия существования нейманова отношения над заданным множеством.