title: समुच्चय सिद्धान्त
text: प्रथम श्रेणी के तर्क (first-order logic) से सुव्यवस्थित (formalized) किया हुआ समुच्चय सिद्धान्त आज गणित का सर्वाधिक प्रयुक्त आधारभूत तन्त्र है। समुच्चय सिद्धान्त की भाषा गणित के लगभग सभी वस्तुओं (यथा- फलन) को परिभाषित करने के काम आती है। समुच्चय सिद्धान्त के आरम्भिक कांसेप्ट इतने सरल हैं कि इन्हें प्राथमिक विद्यालयों के पाठ्यक्रम में भी पढाया जा सकता है।