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