О количественных оценках языков и аксиоматик обобщенных теорийтезисы доклада