Text this: Классификация счётных моделей полных теорий. Ч. 1