＞変わらない訳がない。加算無限すら認めなければ、選択公理すら不要だろう。

いや、やっぱり変わらんな。集合論におけるどのような公理も定理も
結局は只の文字列に過ぎないし、証明があるかどうかは算術の問題に
置き換えられるので、実は選択公理は必要ない（ｗ