弱ケーニッヒじゃなかったかな。なら選択公理の弱いやつとか言いたくないだろうな。