Hiroyasu Kamo ((φ→ψ)→φ)→φ
Hiroyasu Kamo ((φ→ψ)→φ)→φさんの回答
それでは一階言語の文になっていません。一階言語では量化子の可変個の入れ子が書けないからです。ではどうするかは、リプライで。
Hiroyasu Kamo ((φ→ψ)→φ)→φ
匿名でHiroyasu Kamo ((φ→ψ)→φ)→φさんに
メッセージをおくる

Hiroyasu Kamo ((φ→ψ)→φ)→φさんの過去の回答