formal prerequisite

[ریاضیات] پیش نیاز صوری