Talk:Loewenheim–Skolem theorem