L��wenheim���Skolem Theorem
   HOME