"On Inconsistent Arithmetics" - читать интересную книгу автора (Priest Graham)