While studying model theory, she realized that the Löwenheim-Skolem theorem prevents a first-order theory with an infinite model from uniquely determining the cardinality of its models.