|
|
根据集合论的概括原则, 对每个\(n\in\mathbb{N}^+,\;A_n=\{m\in\mathbb{N}^+:m>n\}\)
是大于\(n\)的正整数全体. 是\(\{n+1,n+2,n+3,\ldots\}\)的更精准的表示.
集合\(A_1,A_2,A_3,\ldots\)的公共元素全体记作\(\displaystyle\bigcap_{n=1}^\infty A_n\) . 假定 \(m\in \displaystyle\bigcap_{n=1}^\infty A_n\)
那么\(m\in A_n\)对每个\(n\in\mathbb{N}^+\)成立, 即\(m\)是大于每个正整数的正整数.
因为\(m\)的后继\(m+1\)是正整数, 于是得到\(m\)大于其后继的矛盾.
所以\(\displaystyle\bigcap_{n=1}^\infty A_n\)没有成员,它是空集. |
|