formal expression

[ریاضیات] عبارت صوری