Some results in mathematics have the force of real truths, being independent of interpretation or context. When we state that 2 + 2 = 4 we know that this will be correct for any intelligent entity ...