[질문] 일더하기일을철학적으로알려주세요

a * 1 := a ,a*b' := a*b + a 이 정의를 이용하면 곱셈에 대한 교환법칙, 결합법칙, 분배법칙까지 모두 증명할 수 있습니다.페아노 공리계의 이해가 필요합니다.