>>597 その発言は箱入り無数目において選択公理こそが本質だと分かってない証拠