普通の数学でΠ5やらΣ4やら複雑な論理式出てこないってことでおk?
基礎論でもΠ5やらΣ4に属する*具体的な*論理式は出てこないってことでおk?