Metalogika

Objek dasar studi pada metalogika berada pada bahasa formal, sistem formal, dan cara interpretasi mereka. Studi interpretasi sistem formal adalah cabang logika matematika yang dikenal sebagai teori model sedangkan penelitian deduktif pelengkap adalah cabang yang dikenal sebagai teori bukti