Coba jelasin Garis besar kombinatorik dari Daftar artikel matematika dong

Logika adalah fondasi yang mendasari logika matematika dan matematika lainnya. Ia mencoba untuk memformalkan penalaran yang valid. Secara khusus, ini mencoba untuk mendefinisikan apa yang merupakan bukti.