sld-博弈树中计算规则的独立性

本文提出sld-博弈树的成功集的概念，证明对任何计算规则r，对应r产的sld-博弈树的成功集相同，即sld-博弈树的证明能力与计算规则无关，这就是计算规则的独立性．