>>669
＞おっちゃん、どうも。スレ主です。
＞実に面白いね、おっちゃんって（＾＾；
＞
＞>>Sが、実数の超越基底として、Q(S)は超越数全体⊂Rでしょ？
＞>間違い。スレ主はQ(S)を勘違いしている。>>658も勘違いを引きずっている。
＞
＞超越基底の「基底」の意味を考えていない？
＞というか、なんというか・・・
＞
＞命題：Sが、実数の超越基底として、Q(S)は超越数全体⊂Rである
＞証明：超越基底の「基底」の定義そのもの
＞QED
これ、超越拡大体 Q(S) の定義の捉え方が間違っている。
一体、何のために私が恥かいて証明したんだよ。包含関係は Q⊂Q(S) も成り立っているぞ。
すべての有理数も Q(S) は含む。