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