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:
“There has come into existence, chiefly in America, a breed of men who claim to be feminists. They imagine that they have understood “what women want” and that they are capable of giving it to them. They help with the dishes at home and make their own coffee in the office, basking the while in the refulgent consciousness of virtue.... Such men are apt to think of the true male feminists as utterly chauvinistic.”
—Germaine Greer (b. 1939)
“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)