formal rule

[ریاضیات] قاعده ی صوری