有理數：能用整係數一次方程的解表示的數。
代數數：能用整係數某次方程的解表示的數。
超越數：無法用整係數任何次方程的解表示的數。

有理數⊂代數數⊂無理數
代數數∪超越數=實數

嚴謹一點，「的數」全部改成「的實數」。

證明x^5-5x+1=0的解無法用根號表示，比證明√2是無理數困難得多。