Докажите , что минус на минус даёт плюс.

-1 - это число, обратное числу 1, то оно таково, что -1 + 1 = 0. Его существование следует из соответствующей истины. Из другой легкой аксиомы следует, что -1 и 1 обоюдно обратны, то есть противоположное к -1 это 1.
Теперь посчитаем:
(-1) +(-1)*(-1) = (-1)*1+(-1)*(-1)=(-1)(1+(-1))=-1*0=0 (каждая операция производится по истинам)
В результате получаем, что (-1) +(-1)*(-1)=0, то есть (-1) и (-1)*(-1)-противоположные. Но мы знаем, что к -1 противоположна 1, и знаем, что обратное число всегда единственно, означает (-1)*(-1)=1