Löwenheim–Skolem theorem

GPTKB entity