גישה מהירה יותר מאשר בדפדפן!
10 יחסים: מספר הרטוגס, מחלקה (תורת הקבוצות), מונה אי נשיג, אקסיומת האיחוד, אקסיומת ההחלפה, אקסיומת היסוד, אקסיומות ההפרדה, תורת הקבוצות האקסיומטית, לוגיקה מסדר שני, הפרדוקס של ראסל.
מספר הרטוגס
במתמטיקה, ובפרט, בתורת הקבוצות האקסיומטית, מספר הרטוגס הוא סוג מסוים של מספר מונה (קרדינלי).
חָדָשׁ!!: אקסיומת ההפרדה ומספר הרטוגס · ראה עוד »
מחלקה (תורת הקבוצות)
בתורת הקבוצות, מחלקה היא אוסף של כל הקבוצות שחולקות תכונה משותפת.
חָדָשׁ!!: אקסיומת ההפרדה ומחלקה (תורת הקבוצות) · ראה עוד »
מונה אי נשיג
בתורת הקבוצות, מונה אי-נשיג או מונה בלתי-נגיש הוא סוג של מונה גדול.
חָדָשׁ!!: אקסיומת ההפרדה ומונה אי נשיג · ראה עוד »
אקסיומת האיחוד
בתורת הקבוצות האקסיומטית, אקסיומת האיחוד היא אקסיומה שמבטיחה שאיחוד האיברים של כל קבוצה הוא קבוצה.
חָדָשׁ!!: אקסיומת ההפרדה ואקסיומת האיחוד · ראה עוד »
אקסיומת ההחלפה
בתורת הקבוצות האקסיומטית, אקסיומת ההחלפה היא סכימה של אקסיומות שמבטיחות כי תמונה של הפעלת פונקציה גדירה על קבוצה היא גם קבוצה.
חָדָשׁ!!: אקסיומת ההפרדה ואקסיומת ההחלפה · ראה עוד »
אקסיומת היסוד
בתורת הקבוצות, אקסיומת היסוד היא אקסיומה במערכת ZFC, שהוצגה לראשונה על ידי ג'ון פון נוימן.
חָדָשׁ!!: אקסיומת ההפרדה ואקסיומת היסוד · ראה עוד »
אקסיומות ההפרדה
אקסיומות ההפרדה (נקראות גם "תכונות ההפרדה") הן תכונות של מרחב טופולוגי, הקשורות ביכולת של הטופולוגיה להפריד בין נקודות או קבוצות שונות במרחב.
חָדָשׁ!!: אקסיומת ההפרדה ואקסיומות ההפרדה · ראה עוד »
תורת הקבוצות האקסיומטית
תורת הקבוצות האקסיומטית היא תורה מתמטית המהווה ניסוח אקסיומטי של תורת הקבוצות.
חָדָשׁ!!: אקסיומת ההפרדה ותורת הקבוצות האקסיומטית · ראה עוד »
לוגיקה מסדר שני
בלוגיקה ובמתמטיקה, לוגיקה מסדר שני או שפה מסדר שני היא הרחבה של הלוגיקה מסדר ראשון שמתקבלת על ידי הוספת כמתים על תתי קבוצות של המודל, על פונקציות ועל יחסים.
חָדָשׁ!!: אקסיומת ההפרדה ולוגיקה מסדר שני · ראה עוד »
הפרדוקס של ראסל
הפרדוקס של ראסל הוא פרדוקס שהציע הפילוסוף והלוגיקן ברטראנד ראסל בשנת 1901, במכתב ששלח למייסדה של הלוגיקה המתמטית, גוטלוב פרגה.
חָדָשׁ!!: אקסיומת ההפרדה והפרדוקס של ראסל · ראה עוד »
