गणिताचा पाया स्पष्ट करण्यासाठी गणितीय तर्क आणि संच सिद्धान्त या शाखा निर्माण झाल्या. यांच दृष्टीने हल्ली प्रवर्ग सिद्धान्त विकसित करण्यात येत आहे. गणितीय तर्काचा विषय, गणिताचे मूळवाक्यायन करून त्यातून निर्माण होणाऱ्या तत्त्वबंधाचे निकाल अभ्यासणे हा आहे. अर्थातच त्यांत वर उल्लेख केलेला गोडेलचे अपूर्णतेचे प्रमेय येते. आधुनिक तर्कांत स्वावर्तन सिद्धान्त, प्रारूप सिद्धान्त आणि सिद्धता सिद्धान्त यांचा समावेश असून ते सैद्धांतिक संगणन विज्ञानाशी संबंधित आहे.

उपयोजित गणित
पाया आणि तत्त्वज्ञान
सामान्य गैरसमज
बदल