문맥만 맞으면 상관없음
그나저나 Let mn be even이 정확할듯
개인적으론 뭔가 새로운 개념을 정의해야 할 땐 let, 전개를 위해 이미 참인 명제를 가정할 땐 assume, 귀류법처럼 거짓인 명제를 가정해야 할 땐 suppose를 씀
문맥만 맞으면 상관없음
그나저나 Let mn be even이 정확할듯
개인적으론 뭔가 새로운 개념을 정의해야 할 땐 let, 전개를 위해 이미 참인 명제를 가정할 땐 assume, 귀류법처럼 거짓인 명제를 가정해야 할 땐 suppose를 씀