What Can We Prove?