Логика абелевых групп.