गणितीय तर्काचा विषय गणिताचे मूळवाक्यायन करून त्यातून निर्माण होणाऱ्या तत्त्वबंधाचे निकाल अभ्यासणे हा आहे