公理5 关于模式