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