Polinomlari istiyorsun degil mi? Gerci farketmez ama. $n \in \mathbb{N}$ olacak, $n \in \mathbb{Q}$ degil.
Yapman gereken $\mathbb{Q}[x]$'i sayilabilir oldugunu bildigin kumelerin sayilabilir birlesimi seklinde yazmak. Bunun icin $\mathbb{Q}_n[x]$'i derecesi en fazla $n$ olan polinomlar kumesi olarak tanimla. $\mathbb{Q}_n[x]$'ten $\mathbb{Q}^{n+1}$'e giden bariz bir esleme var. Dolayisiyla $\mathbb{Q}_{n}$'in sayilabilir oldugunu biliyorsun.
$\mathbb{Q}[x] = \bigcup_{n \in \mathbb{N}} \mathbb{Q}_n[x]$ esitligini gostererek kaniti bitirebilirsin.