Метаязык описания теорий
- 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**, ...
- имена формул.
- Символы объектных языков для предикатных и функциональных канстант, пропозициональных
связок, модальных операторов, кванторов и технических знаков
- употребляются автонимно, т.е. в качестве собственных имен.
- =>
- метаимпликация, связка "если ..., то ...".
- <=>
- метаэквивалентность, связка "... если и только если ...".