ruò wán bèi xìng · ㄖㄨㄛˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ · 更新 2026-06-30 07:24:27
英文Weak completeness定义如果Φ是一个有限的公式集合,并且Φ╠ α(Φ满足α),那么Φ→α(Φ演绎导出α),特别是Φ为空的时候也成立.