Аннотация:Предлагается секвенциальная формулировка генценовского типа паранепротиворечивой системы V1, которая, по мнению А.Арруда, является одной из возможных формализаций логических идей Н.А.Васильева. Для этой системы строится семантика обобщенных описаний состояний в духе Е.К.Войшвилло.