常見例句Skolem theorem 斯科倫定理Skolem function Skolem函數(shù), 斯柯倫函數(shù)Skolem normal form 斯克勒姆標(biāo)準(zhǔn)形Skolem standard form 斯柯倫范式 返回 Skolem