Hiroyasu Kamo ((φ→ψ)→φ)→φ
คำตอบของ Hiroyasu Kamo ((φ→ψ)→φ)→φ
それでは一階言語の文になっていません。一階言語では量化子の可変個の入れ子が書けないからです。ではどうするかは、リプライで。
Hiroyasu Kamo ((φ→ψ)→φ)→φ
ส่งข้อความนิรนาม
ถึง Hiroyasu Kamo ((φ→ψ)→φ)→φ

คำตอบที่ผ่านมาของ Hiroyasu Kamo ((φ→ψ)→φ)→φ