axiom - 审查假设并从已验证前提重建结论。

分类隐含假设，按脆弱性与影响力排序，并从已验证前提重建结论。