任意の実数xに対してf(x)は超越数、みたいな主張なら非可算個の超越数を記述できるな