布劳威尔反例中的实数Q究竟属于哪一种呢？，

jzkyllcjl

对布劳威尔反例中的实数Q究竟属于哪一种呢？，徐利治在他的论文中，虽然讲道：“在实无穷概念下，使用两次排中律，可以得到它属于三者中的哪一种”的叙述，但实际上究竟属于哪一种呢？是无法判断出来的，所以徐利治最后讲到“看来还是一个不易解决的难题，希望感兴趣的读者继续研究下去”。现在根据前述无尽小数永远算不到底的事实，布劳威尔的三个命题都是不可判断的命题，所以布劳威尔不能使用猅中律提出他那个实数Q ，这样一来，这个反例就被消除了。