>>712
また、論点ずれている

>>は、一階述語論理という しばりないよ
>論理式は有限文字数で記載できないとダメ　これ豆な

一階 vs 高階 と、
文字数 有限とを混同しているな

なお、>>705 添え字i∈N(自然数) で ∪i Pi （可算無限和）は、文字数 有限です
”添え字i∈N(自然数) で ∪i Pi ”の記法は、数学では許されない？ｗｗｗ