Skolem's two systems could be considered as a programming language for defining objects and a programming logic for proving properties about the objects.
Skolem ng dalawang sistema ay itinuturing bilang isang programming language para sa pagtukoy ng isang bagay at mga programa para sa lohika proving pag-aari ng tungkol sa mga bagay.