れめた (@0000meta) 's Twitter Profile
れめた

@0000meta

万物に万物を

ID: 1401510269310824448

calendar_today06-06-2021 12:04:40

170 Tweet

46 Takipçi

67 Takip Edilen

✚ (@ricotie) 's Twitter Profile Photo

二人零和有限確定完全情報ゲーム(向かい合って交互に「二人零和有限確定完全情報」と相手に言い合い、照れたほうが負け)

れめた (@0000meta) 's Twitter Profile Photo

「Pを満たすものが存在すれば一意」な性質Pで定義したあとに存在性を示すのなんか気持ちいい

れめた (@0000meta) 's Twitter Profile Photo

集合の存在から分出公理で空集合の存在を導く派だったけど、空集合の存在を始めから認める方が構成的な感じがしてそっちの方がいいかも