Sentence examples for adds to the language from inspiring English sources
In an interesting parallel with Java, ES6 adds to the language but does not deprecate anything – in fact, a lot of the features are actually syntactic sugar.
One adds to the language of PA truth predicates indexed by ordinals (or ordinal notations) or one adds a binary truth predicate that applies to ordinal notations and sentences.
The word "roadable" has been added to the language.
English, Latin, and Greek were added to the language program.
It's easy enough to add to the language.
Our new question is this: What new word would you add to the language?
Rarely used icons will disappear over time, and new icons will be added to the language.
Quantification over these concepts is thus bound to be legitimate, and can be added to the language.
We can add to the language "super-predicate" symbols, which take as arguments both individual symbols (either variables or constants) and predicate symbols.
Then we add to the language a modal operator □, such that (M,w) ⊧ □ϕ if and only if (M,w′) ⊧ ϕ whenever wRw′.
The new quantificational resources enable the definition of further items of each type; these, too, respect the Principle, and again, quantifiers ranging over the expanded totalities can legitimately be added to the language.
