〔問題〕
自然数全体の集合をNとする。
α、β、・・・・ は 1と2のみを値としてとる無限数列とする。
このとき、次を満足するようなNの無限部分集合 X_α、X_β、・・・・ (⊆ N) を与えよ。
 α≠β ⇒ (X_α ∩ X_β) は有限集合