|
May. 31st, 2023|04:48 pm |
Я прямо такого не встречал.
Вам бы я посоветовал для начала формализовать, что значит "большой и полезный кусок квазимодели", как отличить его от "маленького" или "бесполезного", и что такое "обозримое" и "необозримое" доказательство. |
|