可靠性定理：修订历史

跳转到导航 跳转到搜索

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

2024年7月25日 (星期四)

  • 当前之前 14:162024年7月25日 (四) 14:16 imported>Uni-sama 小 3,171字节 +3,171 删除“健全性”的翻译。各类中译逻辑学课本，还有各大学的逻辑学讲义里，都不见有人用“健全性”，而且这本来也是对soundness的错译。
检索自“https://zh.wiki.beta.math.wmflabs.org/wiki/可靠性定理”