This is not a carrot: Paraconsistent mathematics
Paraconsistent mathematics is a type of mathematics in which contradictions may be true.
In such a system it is perfectly possible for a statement A and its negation not A to both be true. How can this be, and be coherent? What does it all mean?