基础断言¶ 断言 1¶ 推理规则本身不能保证判断流终止。 断言 2¶ 执行发生不等于裁定成立。 断言 3¶ 判断生成与裁定权必须结构分离。 断言 4¶ 裁定事件必须先于执行触发。 断言 5¶ 当结果不可逆时，裁定层不可缺失。 End of JE-Axioms v1.0