Hiroyasu Kamo ((φ→ψ)→φ)→φ
Hiroyasu Kamo ((φ→ψ)→φ)→φ님의 답변
それでは一階言語の文になっていません。一階言語では量化子の可変個の入れ子が書けないからです。ではどうするかは、リプライで。
Hiroyasu Kamo ((φ→ψ)→φ)→φ
Hiroyasu Kamo ((φ→ψ)→φ)→φ님에게
익명으로 메시지 보내기

Hiroyasu Kamo ((φ→ψ)→φ)→φ님의 과거 답변