15/11/28 13:47:39.27 novsUjda.net
>>9
どうも。スレ主です。
自信ありそうだね・・・（＾＾；
なるほど・・・
代数的拡大を考えろと言いたいのか？
では問う、超越基底Sの要素sを具体的に決める手順は、>>669で書いた
”もし、ある超越数t∈Tで、tがQ(S)が含まれないとすれば、Sは t を含むように拡張されるべき(例えばそれをS'とする)
この操作を、超越数全体に達するまで繰り返すべし
プログラミング的には、そういうこと
そして、その実現を保証するのが選択公理だろ？”
についてはどう思う？