" You know, in formal logic, an inconsistent set of axioms can be used to prove anything at all. Once you have a single contradiction, A and not A, there’s nothing you can’t derive from it. "

― Greg Egan , Quarantine