[일반] Well defined 질문

[익명(14.47)]

ㅅㅂ 왜 지워지냐

밑줄친부분이 왜 2.1.7 로부터 이끌어짐?

[익명(112.152)]

m+l=n+k+a인 자연수 a를 잡고 양변에 n’+k’를 더하면 m’+l’=n’+k’+a라서 한쪽 방향은 증명되고 반대쪽도 똑같이

[익명(14.47)]

ㄱㅅㄱㅅ