>>604
> AC 選択公理で保証されるのは、存在まで 存在は言えるのだが・・
 存在が云えれば、そのうちの1つに”固定”できる
 述語論理の初歩 自然演繹でもシークエント計算でも同じ
 知らん奴はド素人