某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話　「巨大基数の崩壊」 第二話　「クレパの木」 第三話　「ペアノの公理系」 第四話　「ストーンの表現定理」 第五話　「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）

1日を始める前に押さえておきたい世界のニュースを毎朝お届け。ブルームバーグのニュースレターへの登録はこちら。 ロシア政府は同国から撤退する外資系企業を接収、あるいは国有化する案を策定した。ロシアのウクライナ侵略を受けてイケアやマクドナルドなど外国企業の撤退が相次いでいる。 ロシア経済発展省は外国人の持ち分が25％を超える撤退企業を一時的に管理下に置く方針を明らかにした。 同案の下で、モスクワの裁判所が取締役会メンバーなどからの外部管理受け入れの要請を検討する。その後、資産と従業員を保護するための取り組みの一環として、外資系企業の株式を凍結する可能性がある。 経済発展省の発表によると、外部管理にはＶＥＢ．ＲＦ（ロシア開発対外経済銀行）などが参加する可能性がある。企業の保有者は５日以内にロシアでの営業を再開するか、株式売却など他の選択肢を選ぶかを決めなければならないという。 同措置は株主を含む