प्राय : गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त , मॉडल सिद्धान्त ( model theory ) , रिकर्सन सिद्धान्त ( recursion t heory ) तथा सिद्धि सिद्धान्त ( proof theory ) नामक क्षेत्रों में विभक्त किया जाता है ।
Entity: गणितीय — Type: /art/music, /programming_language, /art