В сообщении
https://dxdy.ru/post1620571.html#p1620571 внесены следующие изменения:
1) В связи с предписанием соответствующим образом заменить "все ... обозначения латинскими буквами" использованные в тексте сокращения латиницей заменены на соответствующие русские сокращения:
а) "П" - сокращение от слова "Предикат".
б) "С" - сокращение от слова "Субъект"
2)
а) Предикатное имя (подчеркиваю, это - ИМЯ, а не терм или что-то другое) заменено с "х" (маленький икс) на "х" (маленькое ха)
б) Условное имя множества "X" (большой икс) заменено на "Х" (большое ха). Условное имя элемента множества "A" (большой эй) заменено на "А" (большое а).
Подчеркну: все перечисленные замены касались не знаков в формулах, термов и т. п., а только сокращений и условных имен, то есть, обычных слов естественного (не формального) языка - того же естественного языка, на котором написан сам текст и на котором мы общаемся друг с другом.
3) Требование привести
всю латиницу в соответствующий вид не выполнено в отношении использованных в тексте аббревиатур "ZF" и "ZFC", являющихся сокращенными записями от "Цермелло-Френкеля" и "Цермелло-Френкеля с Чойсом", (где Чойс - не фамилия человека, а первая буква английского слова "choice"), то есть "Цермелло-Френкеля с добавкой аксиомы выбора". Запись "ZF" и "ZFC" обычным шрифтом является общепринятой в русскоязычной литературе по теории множеств и другим разделам математики, и её замена на что-то другое будет выглядеть слишком анекдотично. Впрочем, если и это нарушает правила публикации сообщений в форуме, я готов поменять вышеприведенные аббревиатуры латиницей на "ЦФ" и "ЦФ с выбором" (или "ЦФЧ" - "аксиоматика Цермелло-Френкеля-Чойса") или вообще убрать, если упоминание этих людей или первых букв их фамилией неприемлемо само по себе - даже при записи кириллицей.