Sentence examples for statement in the language of 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.

Axiom of choice, sometimes called Zermelo's axiom of choice, statement in the language of set theory that makes it possible to form sets by choosing an element simultaneously from each member of an infinite collection of sets even when no algorithm exists for the selection.

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).

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.

It is overwrought partisanship to talk about Kavanaugh's statements in the language of perjury, a crime involving technical elements of materiality and mens rea, the intentional telling of an untruth.

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.

Using familiar techniques from the arithmetization of syntax, it is not difficult to see that this statement can be formalized in the language of first-order arithmetic as a \ \Pi^0_2\ -statement – i.e. a statement \ \Pi^0_2\ -statementm \(\forall x \exists y \psi(x,y)\) where \(\psi(x,y)\) contains only bounded numerical quantifiers.e

Supply a suitable brief statement in the language and script of the title proper and enclose it in square brackets.