Such a system of logic that Post proposed produces, in today's terminology, a recursively enumerable set of words on a finite alphabet.
Tulad ng isang sistema ng lohika na Post iminungkahing produces, sa ngayon ng terminolohiya, isang recursively enumerable set ng mga salita sa isang wakas alpabeto.