תורת הקבוצות היא ענף ב
מתמטיקה שהתפתח אינטואיטיבית עם השנים על ידי מתמטיקאים חובבנים ומקצועיים כאחד, בשיטה שמאוחר יותר התגלתה כלא אמינה. הבעיה התחילה כאשר נמצאו פרדוקסים וסתירות בשלבים בסיסיים של המתמטיקה (לדוגמה
הפרדוקס של ראסל). סתירות אלו נובעות מחוסר עקביות, מוסכמות ושפה אחידה, ולכן החליטו לפתח ולהגדיר את תורת הקבוצות מחדש.
תורת הקבוצות הנאיבית - התורה האינטואיטיבית שהתפתחה במשך השנים.
תורת הקבוצות האקסיומטית - פותחה כדי למנוע סתירות ופרדוקסים כדוגמת הפרדוקס של ראסל.
להמשך המאמר ראה Wikipedia.org...