Roads to Infinity: The Mathematics of Truth and Proof