Metamatematika

Istilah "metamatematika" kadang-kadang digunakan sebagai sinonim untuk beberapa bagian dasar logika formal yang termasuk logika proposisional dan logika predikatif.