常见例句Skolem theorem 斯科倫定理Skolem function Skolem函數, 斯柯倫函數Skolem normal form 斯尅勒姆標準形Skolem standard form 斯柯倫範式 返回 Skolem