Тип системи: ZF