公理属性
1 公理类型
- 概述
1、显示当前选中公理的公理类型。 2、可切换选中公理的公理类型。 - 启动条件
设计区选中公理。 - 操作方式
1、设计区选中公理。 2、属性区显示选中公理的属性。 3、属性区中的下拉列表中的公理候选项中选中公理。 - 效果
1、下拉列表显示新选择的值。 2、设计区选中公理的的公理连接点根据选择的公理切换。2 公理注释
（参见其类属性或属性属性的公理设置）2.1 添加公理注释
（参见其类属性或属性属性的公理设置）2.2 删除公理注释
（参见其类属性或属性属性的公理设置）2.3 编辑公理注释
（参见其类属性或属性属性的公理设置）