構成可能宇宙Ｌなら n1,n2 を具体的に算出できて n1>n2,n1=n2,n1<n2 のいずれであるか決定できるけどなｗ
集合論において関数は集合であり、構成可能集合のみからなるＬにおいていかなる選択関数も構成可能だから。