>>615
そもそもBT自体に選択公理は必須じゃない。>>597参照。

>>615の話に関しては、日本語の説明を読むと「開集合の境界」が
トリックの種だろうという気はする。Baire第1類（勿論Lebesgue可測）
は必ずしも零集合じゃない。昔kingがこの板で例を挙げて釣ってたよ。