みんな大好きお兄さんのまったり集合論（数理論理学）・確率論勉強スレ

まだ1つ足りません。
距離化には第二可算性が必要だと気付いて指摘できていないです。
相手がサラッと言った間違いに気づくこともセミナーでは必要です。