16. Existence.
Below is the proof using mathematical induction.
(1) Since ∣a−b∣⩾(a,b), we have ∣a−b∣=(a,b)⇔(a−b)∣a.
Clearly, 2 and 3 satisfy the condition.
(2) Assume there exist k(k∈N+) positive integers a1,a2,
⋯,ak, such that for any 1⩽i<j⩽k, we have
∣ai−aj∣∣ai.
Then we can choose such k+1 numbers:
b1=a1a2⋯ak,b2=a1a2⋯ak+a1,b3=a1a2⋯ak+a2,⋯⋯⋅bk+1=a1a2⋯ak+ak.
For any 1⩽i<j⩽k+1, we have
bi−bj=ai−1−aj−1(a0=0).
Since (ai−1−aj−1)∣a1a2⋯ak,
(ai−1−aj−1)∣ai−1,
it follows that (ai−1−aj−1)∣bi.
Thus, (bi−bj)∣bi.
Therefore, there exist k+1 numbers that satisfy the problem's requirements.
From (1) and (2), we can conclude that there exist any finite number of numbers that satisfy the requirement, and of course, 2011 numbers can also be found.