inconsistent formal system

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