Метаязык описания теорий

a, b, c, d, a*, b*, c*, d*, a**, b**, c**, d**, ...
– имена простых единичных (сингулярных) постоянных термов.
S, P, Q, M, S*, P*, Q*, M*, S**, P**, Q**, M**, ...
– имена простых общих постоянных термов.
t1, t2, ..., tn, ...
– имена термов.
fn1, gn2, hn3, f*n4, g*n5, h*n6, f**n7, g**n8, h**n8, ...
– имена функциональных констант.
Pn1, Qn2, Rn3, Sn4, P*n5, Q*n6, R*n7, S*n8, P**n8, Q**n6, R**n7, S**n8, ...
– имена предикатных констант.
p, q, r, s, p*, q*, r*, s*, p**, q**, r**, s**, ...
– имена простых пропозициональных постоянных .
A, B, C, D, A*, B*, C*, D*, A**, B**, C**, D**, ...
– имена формул.
Символы объектных языков для предикатных и функциональных канстант, пропозициональных связок, модальных операторов, кванторов и технических знаков
– употребляются автонимно, т.е. в качестве собственных имен.
=>
– метаимпликация, связка "если ..., то ...".
<=>
метаэквивалентность, связка "... если и только если ...".