Това е само предварителен преглед!
Сигнатури , структури ,термове ,атомарни формули
Сега и в бъдеще обаче ще се занимаваме със случая, когато W е обединение на множество X(множество на променливите), за което ще искаме да е безкрайно, множества F0,F1,F2, .(множествa съответно на нулместните, едноместните, двуместните и т.н