Coba jelasin Filsafat dari Garis besar matematika dong

Definisi matematika–Matematika tidak memiliki definisi yang diterima secara umum. Sekolah yang berbeda pikiran, khususnya dalam filsafat, telah mengedepankan definisi yang berebda, semuanya adalah kontroversial.

Bahasa matematika merupakan sistem yang digunakan oleh matematikawan untuk berkomunikasi ide matematika diantara mereka sendiri, dan ini berbeda dari bahasa alami dalam hal ini bertujuan untuk berkomunikasi ide-ide abstrak dan logika dengan ketelitian dan tidak ambigu.

Filosofi matematika–tujuannya adalah untuk menyediakan sebuah laporan dari sifat dan metodologi matematika dan untuk memahami tempat matematika dalam kehidupan masyarakat.

Matematika klasik merujuk secara umum ke aliran utama yang mendekati ke matematika, yang berdasarkan logika klasik dan teori himpunan ZFC.

Matematika konstruktif menyatakan bahwa itu perlu untuk menemukan (atau "membangun") sebuah objek matematika untuk membuktikan bahwa itu ada. Dalam matematik klasik, salah satunya dapat membuktikan adanya sebuah objek matematika tanpa "menemukan" objek itu secara eksplisit, dengan mengasumsi itu tidak ada dan kemudian menurunkan sebuah kontradiksi dari anggapan itu.