L�wenheim�Skolem Theorem

• Any first-order theory with an infinite model has a countable model.

• Consequence: ZFC has countable models despite uncountable sets.