ｙ＝ｆ（ｘ）なる実数値関数を考える。
ｘが有理数の時、ｆ（ｘ）は無理数であり、
ｘが無理数の時、ｆ（ｘ）は有理数となるような連続関数ｙ＝ｆ（ｘ）は存在するのか述べよ。