CEVAP:

S sonlu bir küme ise, bir önermede, önerme kümesinde veya çıkarımda geçen her yüklem sembolü için S kümesinin bir altkümesi ve her ad sembolü
için S kümesinin bir elemanından oluşan yapı, bu önermeyi, önerme kümesini
veya çıkarımı denetleyebileceğimiz bir modeldir.