阿列克西内部证立的复杂公式中提出了两条规则，包括（）