Meta-Logika

Metalogika adalah cabang studi logika yang mempelajari sistem logis itu sendiri , termasuk bahasa formal, aksioma, aturan deduksi, dan teore...