Họ các tập đếm được
 

Giả sử $\mathfrak{s}$ là một họ chứa vô hạn các tập con của $\mathbb N$ thỏa mãn hễ $S,\,S'\in \mathfrak{s}$ thì $\left| S\cap S' \right|\le 2018$. Chứng minh rằng $\mathfrak{s}$ đếm được.