15/11/28 17:02:29.66 novsUjda.net
>>20
どうも。スレ主です。
それでは、>>11のアルゴリズムを以下のように変えよう
もし、ある超越数t∈Tで、tがQ(S)が含まれないとする。
tがQ(S)上代数独立でないなら、tは加える必要なし（∵ 本来t∈Q(S)）
tがQ(S)上代数独立ならば、Sは t を含むように拡張されるべき
この操作を、超越数全体に達するまで繰り返すべし
Q(S)は、そうやって構成されるべき集合（それがQ(S)およびSの定義）
プログラミング的には、そういうこと
そして、その実現を保証するのが選択公理だろ？