Цитата:
Сообщение от comrade
Такое, что категории МИМ - описательные. Это не аксиомы, часть из которых вы хотите объявить теоремами. Это описательные категории.
|
Что такое "описательные категории"? Ясно, что это не высказывания, а, значит и не аксиомы. Тогда что это? Первичные понятия, отношения между корыми определяются аксиоми? Или что?