Câu hỏi 11
Với hàm $f:\mathcal P(\mathbb N)\to\mathbb N$ và tập con $A\subseteq\mathbb N$, ta gọi $f$ là một hàm dự đoán cho $A$ nếu tập $\{x\in\mathbb N\mid x\notin A,\ f(A\cup\{x\})\ne x\}$ hữu hạn. Chứng minh tồn tại một hàm là hàm dự đoán cho mọi tập con $A$ của tập số tự nhiên.