>>369
論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
ないでしょうか？
一般的な数学記号しか使っていませんので、記号の定義の必要性は少ないと思います。