Maybe I am very wrong on this issue. The arguments outlined below demonstrate that given a set of axioms or properties, there is only one consistent way to define (-1)*(-1).