A statement that systematically evades all current proof strategies within a formal system is precis...