常见例句Skolem theorem 斯科伦定理Skolem function Skolem函数, 斯柯伦函数Skolem normal form 斯克勒姆标准形Skolem standard form 斯柯伦范式 返回 Skolem