well ordering으로부터 induction을 끌어내야 하는데 밑줄친 부분 p(1)이 참이기에 최소원소가 1보다 커야하는거, p(1) and......p(k)가 참이니 p(k+1)가 참이라는걸 어떻게 보장할 수 있는건가요? 이런 말들은 이미 induction이 전제되어야 할 수 있는 말 아닌가요?
아직 우리가 알고 있는건 well ordering밖에 없고 여기서 induction에 있는 p(1)이라던지 p(1) and...p(k)등을 직접 보여야 하지 않나 싶은데
- dc official App
induction 은 p(1) 그리고 뭐시기가 참이 라는게 아니라 "'뭐시기가 참이면' p(k+1)도 참이다." 라는 의미의 명제임 그러니까 저건 '가정'에 해당하는 부분이라고 할 수 있음. 이렇게 가정하고 + 우리가 가지고 있는 WOP 를 쓰니까 '결론'이 나오더라 이 얘기하는 거임
음 엄밀하게는 p(k+1)까지가 가정인거 아닌가요? induction 형태가 p(1) and......->p(k+1)이면 모든 n에 대하여 p(n)이 참이다니까 p(k+1)이 참이다까지 가정으로 하고 모든 n애대해 p(n)을 결론으로 보는게 아닌가 싶은데 - dc App
니말이 맞어.. 내가 정신이 나갔네 그냥 ㅋㅋ "p(1)이 참 / p(1),p(2), ... ,p(k)이 참이면 p(k+1)이 참이다"까지가 '가정'인데 이게 가정이니까 사실 우리는 이걸 보이려는 게 아니고 이걸 가정하니 '결론'(너가 말한 "모든 n에대해 p(n)이 참")이 나오더라 이 얘기지