formal system

[ریاضیات] دستگاه صوری