The Simplest Thing We Can't Prove