что без какого-либо равенства, не хочется признавать математикой?
Хочу! Мечтаю признать математикой теорию без равенства! Покажите мне её!
Если это сколько-то серьёзная попытка, то будет не одному мне интересно. Пока нет уверенности, что смогу высвободить время. Есличо, будет запись?
Это вопрос про язык или метаязык?
Ну Аршак, я так понял, говорил про внутреннюю теорию типов топоса.
Обсуждают сегодня