수의 덧셈(자연수라든가) 에서는 페아노 공리계 같은거 찾아보면 될거 같고
나중에 대수학 조금 파다보면 더 정확히 알 수는 있겠지만 사실 정의가 중요한게 아니라 덧셈들이 어떤 성질을 지녔는지가 더 중요한거 같음
여러 군데에서 기본연산을 덧셈으로 나타내지만(물론 대부분 덧셈에서 파생된 것들이 많지만) 대부분은 덧셈의 교환/결합/분배법칙 같은거나 항등원 0의 존재, 덧셈의 정렬성 등의 특정한 성질들은 보존되는 경우가 대부분임
뭐 이런 것까지 알고서 덧셈이 뭔지를 더 알고 싶으면 범주론 배워야하지 않을까