Выдержка из книги
Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ
Например, формула V х ( хеу - жег) выражает суждение у есть подмножество г, ее естественно обозначить у С г; терм iuVy ( yew - 3 / С г) является именем множества всех подмножеств г, в привычной математической символике его обозначают через Pz. Пусть знак; означает стоящее слева есть обозначение для стоящего справа. Приведем некоторые дальнейшие обозначения для формул и термов.