True arithmetic is the set Th of all sentences in the language of first-order arithmetic that are true in . This set is, equivalently, the (complete) theory of the structure (see theories associated with a structure).
Read more about True Arithmetic: Arithmetic Indefinability, Computability Properties, Model-theoretic Properties, True Theory of Second-order Arithmetic
Famous quotes containing the words true and/or arithmetic:
“Books may be burned and cities sacked, but truth like the yearning for freedom, lives in the hearts of humble men and women. The ultimate victory, the ultimate victory of tomorrow is with democracy; and true democracy with education, for no people in all the world can be kept eternally ignorant or eternally enslaved.”
—Franklin D. Roosevelt (1882–1945)
“Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build my arithmetic.... It is all the more serious since, with the loss of my rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic seem to vanish.”
—Gottlob Frege (1848–1925)