Transcript
Panel 1
Two people are talking
Person 1: If you assume contradictory axioms, you can derive anything. It's called the principle of explosion.
Person 2: Anything? Lemme try.
Panel 2
Person 2 writes something on a piece of paper.
Panel 3
Person 2 shows the paper to person 1
Person 2: Hey, you're right! I started with P∧¬P and derived NP∧¬NP.
Person 1: That's not how that works.
Panel 4
Person 2 is now talking on a phone
Panel 2
Hi, I just proved that P = NP.
Title text: Well... the truth value of P and not P is the same as the truth value of NP and not NP, at least in a consistent system.
