Coba jelasin Matematika predikatif dari Garis besar matematika dong

sebuah disiplin akademis - cabang pengetahuan yang diajarkan di semua tingkat pendidikan dan biasanya diteliti di tingkat perguruan tinggi atau universitas. Disiplin didefinisikan (sebagian), dan diakui oleh jurnal akademik di mana penelitian diterbitkan, dan masyarakat terpelajar dan departemen akademik atau fakultas tempat praktisi mereka.

Sebuah ilmu formal - cabang pengetahuan yang berkaitan dengan sifat-sifat sistem formal berdasarkan definisi dan aturan inferensi. Berbeda dengan ilmu lainnya, ilmu formal tidak mementingkan validitas teori yang didasarkan pada pengamatan di dunia fisik.