In modern terminology we say that the set of valid formulas of first-order logic is recursively enumerable. |
He has spent enumerable hours in design and redesign and at the machines in his shop producing a rifle that promises greatness. |
And though the examples of such vicissitudes are beyond number, nevertheless I will only enumerable a few in a cursory manner. |
The set of all finite grammars formulable in any given metalanguage is computably enumerable, so grammars can be systematically numbered. |
They are enumerable but naming a few of them as a sample of them seems timely. |
Any recursively enumerable set which is also co-recursively enumerable is a decidable set. |