Hiroyasu Kamo ((φ→ψ)→φ)→φ
Hiroyasu Kamo ((φ→ψ)→φ)→φ's answer
それでは一階言語の文になっていません。一階言語では量化子の可変個の入れ子が書けないからです。ではどうするかは、リプライで。
Hiroyasu Kamo ((φ→ψ)→φ)→φ
Send an anonymous
message to Hiroyasu Kamo ((φ→ψ)→φ)→φ

Hiroyasu Kamo ((φ→ψ)→φ)→φ's past answers