Секвенциальные формулировки паранепротиворечивых логических системстатья