Profile

Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 6 years ago

進捗出していきましょう Kory3@mstdn.jp

A∪B = { x | x ∈ A ∨ x ∈ Y }、無制限内包なのでZFCでは定義として書けなさそう(証明することはできそう)