We can assign a unique natural number a_n to each natural number n, such that P(n) for each natural number n

라고 적혀있는데 이거 해석을

1. 모든 자연수 n에 대해 P(n)을 만족하는 수열 a_n이 유일하게 존재한다

라고 해석해야 맥락상 맞거든?

근데 저거 영어 해석 자체로는

a_n으로 가능한 값이 여러개던 뭐던간에
a_n에 유일한 자연수를 배정하는것은 가능하잖음?

즉 a_n=3또는 a_n=5가 가능해도 이중 하나를 택하기만하면

a_n에 유일한 자연수를 배정하는 게 맞는 게 돼버리잖아.

그래서 결국 저 영어 자체의 해석은

2. 모든 자연수 n에 대해 P(n)을 만족하는 수열 a_n이
"그냥" 존재한다.
가 되는거아님?

맥락 없이 그냥 저렇게만 쓰면
아무리해도 문자 그대로 축자적 해석은 2가 맞지않냐?

배정방식이 유일하다고 한게아닌데..

- dc official App