真であることも偽であることも証明不可能な命題は確かに存在し、具体的に構成可能である。
では、有理数であることも無理数であることも証明不能な実数は存在するか？　また、具体的に構成可能か。
存在しないとすれば、そのことを示せるか。