8.3 辩经原则形式化