Talk:Loewenheim-Skolem theorem