>>286
>しかし、証明がなければ あなたの数学はポエムやSFに堕する
空でない集合Xの元をひとつ任意に選択できることは自明ではないと言いたいの?
数学諦めたら?