is the freedom to say that 2 + 2 is
no more nor less than the number of ones in (1 + 1) + (1 + 1)
How could that be what freedom is? Who would deny that that is what 2 + 2 is? And how would their denying it get in the way of our being free?
Surprisingly, it is the experts on numbers who deny it. A hundred years ago, academic mathematicians redefined all of their terminology in order to lose some puzzling arithmetic in that translation. Why was that arithmetic too puzzling for them?
That arithmetic makes sense if we assume that there is a God who is able to change in some rather transcendental ways (a God who is more like the Trinity than a thing, and who may well be above and beyond time and changes of ordinary kinds), but it is very hard to see how it could make sense in any other way. And scientific academia was increasingly atheistic in the twentieth century.
Insofar as that arithmetic only makes sense if there is such a God, it proves that there is such a God. And the truth will set you free. But that proof was hidden by that translation. And by related redefinitions of words like truth and proof, as described here:
That link opens a Google Doc (8,733 words, 28 pages) in a new window.