Löwenheim-Skolem theorem

From Free net encyclopedia