У вас при переписывании, к сожалению, потерялся смысл.
Какой это смысл потерялся? Я сделал тупую текстовую подстановку + -> -, - ->+.
Процитированная фраза PAV в более строгой форме выглядит так:
Унарная операция "противоположный элемент", обозначаемая написанием знака минус перед аргументом, по определению переводит число в такое число, сумма которого с равна .
Должен сказать, что это не все, что подразумевается в формулировке PAV.
Моя версия:
Унарная операция "противоположный элемент", обозначаемая написанием знака плюс перед аргументом, по определению переводит число

в такое число, сумма которого с

равна

.
Ну и мое дополнение, которое не вошло в уточнение
tolstopuzа. То, что противоположный противоположного является исходным нужно записывать в операторной форме в виде

, где

- оператор взятия противоположного,

- тождественный оператор, и идет копозиция операторов. Тогда выражение
PAVа

в более полной форме запишеться

. Остается добавить, что в моей версии тождественный оператор обозначается значком

.