Skolem–Löwenheim Theorem
   HOME
*