प्रथम श्रेणी के तर्क ( first-order l ogic ) से सुव्यवस्थित ( formalized ) किया हुआ समुच्चय सिद्धान्त आज गणित का सर्वाधिक प्रयुक्त आधारभूत तन्त्र है ।
Entity: गणित — Type: /art/music, /programming_language, /art