Logik matematik
Logik matematik adalah cabang matematik, objek penyelidikannya adalah untuk membuktikan dan mengira dua konsep intuitif sistem simbolik selepas bentuk. Logik matematik adalah sebahagian daripada asas matematik yang tidak boleh diketepikan. Skop penyelidikan logik matematik adalah sebahagian daripada logik yang boleh dimodelkan secara matematik. Dahulu dikenali sebagai logik simbolik (berbanding logik falsafah), juga dikenali sebagai meta-matematik, penggunaannya kini terhad kepada beberapa aspek bukti. ...