- kururu_goedel
- 1227
- 6
- 0
- 0
MarriageTheorem
@MarriageTheorem
(マジメな意味での)集合論者RTを見た twitter.com/usb_usb/status…
2022-03-09 20:43:53
USB^800
@usb_usb
漫画の趣旨からはかけ離れるけど、Fodor's lemmaを証明するなら初等的部分構造をとるのです… 十分でっかい正則基数θをとってH_θのいい感じの初等的部分構造をとれば証明は一瞬で終わるのです… twitter.com/omnisucker/sta…
2022-03-09 20:22:24