В базовых первокодовых их не очень-то формализовали.Зато, в последующих книгах полно вариантов базовых пресуппозиций.Но, пресуппозиция счёта/ шкалирования... я бы не назвал ёё базовой. Она их ряда эээ типового набора "рабочих" пресуппозиций.Более-менее некоторая онтология таких рабочих пресуппозиций есть в приложении к Структуре магии. Приложения к книгам в электронной форме, обычно, не печатают.