一致性：修订历史

2025年7月29日 (星期二)

• 当前之前 19:422025年7月29日 (二) 19:42 Tabelog 留言 贡献 小 1,990字节 +24 无编辑摘要 标签：可视化编辑
• 当前之前 19:412025年7月29日 (二) 19:41 Tabelog 留言 贡献 1,966字节 +1,966 创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…” 标签：可视化编辑