Sentence examples for the theorem in question from inspiring English sources

By coding the formulas of such a theory with natural numbers (now called Gödel numbers) and by talking about these numbers, Gödel was able to make the metamathematics of S become part of the arithmetic of S and hence expressible in S. The theorem in question asserts that the formula of S that expresses (via a coding) "S is consistent" in S is unprovable in S if S is consistent.

Whereas the majority of the assertions of the theorems in question have been stated and established in earlier papers by a (part) of the present authors, the proofs of the many delicate interconnections between those of grouping (A), the chief topic of the paper, are new in their essential steps and conclusions, as referred to.

And all that is important with a single-abstraction identity principle is whether the theory in question contains it as a theorem (or theorem-scheme).

All that is important is whether the theory in question contains such a principle as a theorem (or theorem-scheme).

For the first time mathematicians could, as Ms. Wertheim said, "hold the theorems in their hands".

Also, we discuss Verblunsky's theorem for the case in question.

Providing a theory of meaning for a language is thus a matter of developing a theory that will enable us to generate, for every actual and potential sentence of the language in question, a theorem that specifies what each sentence means.

At the tournament, the team must investigate each problem, pose mathematical theorems to explain the behavior in question, and then defend their ideas against those of opposing teams.

(6) holds too for the typical calculi in question, in virtue of Gödel's completeness theorem, so (5) holds.

The "grounding" relation in question is not like that between axioms and theorems.

So although Gödel published his results eighty-five yeago ago, the theorem endures in the popular imagination.