Lowenheim-Skolem theorem