Kaomojis
{…}∀∃⇔
Copy
#axiomatic set theory
#ZFC
#first-order logic
#quantifiers
#foundational mathematics
#mathematical logic
🔢📈ε₃
Copy
#ordinal number
#ε₃
#cantor normal form
#transfinite induction
#well-ordering
#foundational mathematics
🌌∞🧩
Copy
#infinity category
#abstract structure
#higher category theory
#mathematical structures
#foundational mathematics
#∞-topos
#homotopy type theory
#axiomatic set theory #ZFC #first-order logic #quantifiers #foundational mathematics #mathematical logic