contradictory formal system

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