[Александр Гаген]

Сообщение от sergign60

МИМ - первичные понятия, отношения между которым определяются аксиомами.

Замечательно! Я так и думал. Можно считать этот вопрос выясненным и двигаться дальше.