Sentence examples for statement in the language from inspiring English sources

Zorn's lemma, also known as Kuratowski-Zorn lemma originally called maximum principle, statement in the language of set theory, equivalent to the axiom of choice, that is often used to prove the existence of a mathematical object when it cannot be explicitly produced.

In a similar vein, Frank had objected that "after the introduction of the truth conditions a statement in the language of 'semantical realism' can no longer be distinguished from a statement in the language of 'syntactical positivism'" (Frank 1950, p. 167).

However there are at least good political reasons why one might think that the UNCRC provides an exemplary statement – in the language of positive rights – of how children should be treated and regarded.

It is a remarkable empirical fact that for any "natural" statement in the language of set theory φ one can generally find a large cardinal axiom Φ such that ZFC+φ and ZFC+Φ are mutually interpretable.

This principle says that any statement in the language of ZF which is true in V is already true on some level of any continuously increasing hierarchy such as L. (For the history of this principle, see Kanamori 2006).

"We need a clear statement in the language of the bill that it would fund clinical comparative effectiveness, not cost comparative effectiveness, and that the studies will not be used for national coverage determinations," it quoted AdvaMed Senior Executive VP David Nexon as saying last week.

This was the basic idea of his "physicalism," according to which all terms and statements of empirical science from the physical to the social and historical disciplines can be reduced to terms and statements in the language of physics.

The situation can be even more interesting if there are statements in the language that reveal only partial information about the player strategy choices.

In another, he wrote, "There is not a statement in the English language, or any other language, that could possibly captivate the very essence of how much I truly treasure your Existence".

The predicativist is a non-pluralist about first-order arithmetic and thinks that there is an objective fact of the matter concerning every statement formulated in the language of first-order arithmetic.

A requirement is simply a statement in the chosen language that clearly defines an expectation placed on the design process prior to the implementation of the creative-design process.