Logika matematika

Pengertian Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika.Logika matematika berhubungan dengan erat dengan ilmu computer dan logika filosofis.Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan dedukatif dari system pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logikayang serupa.