>>662
おっちゃん、どうも。スレ主です。
実に面白いね、おっちゃんって（＾＾；

>>Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？
>間違い。スレ主はQ(S)を勘違いしている。>>658も勘違いを引きずっている。

超越基底の「基底」の意味を考えていない？
というか、なんというか・・・

命題：Sが、実数の超越基底として、Q(S)は超越数全体⊂Rである
証明：超越基底の「基底」の定義そのもの
QED

附言すれば、超越数全体をTとする（当然T⊂Rだが）
もし、ある超越数t∈Tで、tがQ(S)が含まれないとすれば、Sは t を含むように拡張されるべき(例えばそれをS'とする)
この操作を、超越数全体に達するまで繰り返すべし
プログラミング的には、そういうこと
そして、その実現を保証するのが選択公理だろ？

で、これは、「基底」の定義そのもの！
「基底」の意味が分かってないと、証明は暴走するわな（＾＾；