[질문] 1+1=2를수학적으로완벽한이론에맞게증명해주세요대학이론에맞게요

a+1:=a'으로정의하고,b가1이아닌경우는PA2에의해c'=b인c가존재하고PA4에의해이러한c가유일하므로,a+b=a+c':=(a+c)'으로정의한다.