7 紧致性定理与L?wenheim-Skolem定理