Löwenheim–Skolem_theorem loading ...