Kaomojis
∀∃₁🚫📏∞
Copy
#löwenheim-skolem
#first-order logic
#model theory
#expressiveness limitation
#cardinality
#infinite models
#non-categoricity
#löwenheim-skolem #first-order logic #model theory #expressiveness limitation #cardinality #infinite models #non-categoricity