Archimedean property

If a and b are any positive integers, then there exists a positive integer n such that na ≥ b.


Proof. Assume that the statement of the theorem is not true, so that for some a and b, na < b for every positive integer n.

...


property에서 a, b는 임의의 자연수라고 하면서

귀류법을 사용하는 증명에서는 ∃a, b ∈ N로 쓰는거 같아서요

any a, b∈N → ∃n s.t. na ≥ b 이렇게 쓰는데


p→q ≡ ~(p∧~q) 아닌가요?


any를 증명에서 왜 ∃로 쓰나요? p는 그대로 p로 써야하지 않나요??