수학초보입니다 자연수 및 정수로부터의 기초적인연산체계(중학교에서알려주는)가 문자로 형식화되서 그대로 실수연산체계로 확장된꼴로 볼 수 잇단것에 신기한 뉴비입니다a-b=a+(-b)인 것은 실수체계에서 증명가능한 정리인가요?아니면 그냥 그렇게 정의한건가요 정의한거라면 그렇게 정의해야만 했던 이유 또는 장점이런게 있을까요 -1곱하기-1이 1로 정의내릴수 밖에 없던 필연성이 있듯이 말이에요 긴글 읽어주셔서 감사합니다