Fondasi matematika: Perbedaan antara revisi

'''Fondasi matematika '''adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika,<ref>[http://www.britannica.com/EBchecked/topic/369221/foundations-of-mathematics Joachim Lambek (2007), "Foundations of mathematics", ''Encyc. '']</ref> atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari teori-teori filsafat dasar tentang natur dari matematika itu sendiri.<ref>[http://plato.stanford.edu/entries/philosophy-mathematics/#MatLogFouMat Leon Horsten (2007, rev. 2012), "Philosophy of Mathematics" ''SEP'']</ref> Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika dan [[filsafat matematika]] sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga<sup class="noprint Inline-Template Template-Fact" style="white-space:nowrap;" contenteditable="false">&#x5B;''<span title="This claim needs references to reliable sources. (September 2014)">citation needed</span>''&#x5D;</sup> sebagai suatu studi tentang konsep-konsep dasar rumus matematika<ref>http://www.idmathcirebon.net</ref>matematis (bilangan, bentuk bentuk geometris, himpunan, fungsi...) dan bagaimana keseluruhannya membentuk sebuah hierarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis  yang memberikan makna kepada rumus-rumus, defenisi-defenisi, pembuktian-pembuktian, algoritma-algoritma...) yang juga sering disebut sebagai [[Metamatematika|konsep-konsep matematis]], dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini.