Her $\alpha$ cebirsel sayısı için o cebirsel sayıyı kökü olarak kabul eden rasyonel katsayılı bir $p_{\alpha}(x)$ polinomu seçelim. $\mathbb{C}$ kümesi üzerinde (herhangi) bir $<$ doğrusal sıralaması tanımladıktan sonra, $\alpha \mapsto (p_{\alpha}(x),n)$ fonksiyonunu tanımlayalım öyle ki $\alpha$ sayısı $p_{\alpha}(x)$ polinomunun kökleri arasında $<$ sıralamasına göre $n$. kök olsun.
Bu fonksiyon cebirsel sayılardan $\mathbb{Q}[x] \times \mathbb{N}$ kümesine birebir bir fonksiyondur. Dolayısıyla, $\mathbb{Q}[x] \times \mathbb{N}$ sayılabilir olduğu için cebirsel sayılar da sayılabilirdir.