#löwenheim-skolem #model theory #countable models #uncountable models #downward löwenheim-skolem #upward löwenheim-skolem #cardinality #first-order logic