>つまり有限選択公理を「有限個の集合の族に対する選択」とするなら
ではないことは
>そんなもんは公理ではなく定理として導けるってこと
が超自明だから超自明だろｗ

君、KY（死語）だねｗ