普通の数学でΠ5やらΣ4やら複雑な論理式出てこないのでは?
基礎論でだって出てくることはないと思う
一般のnに対してΠnとかΣnとか言うことはあっても