#löwenheim-skolem #first-order logic #model theory #expressiveness limitation #cardinality #infinite models #non-categoricity