גישה מהירה יותר מאשר בדפדפן!
31 יחסים: ZF, מספר ממשי, מספר סודר, משפט סקולם-לוונהיים, מחלקה (תורת הקבוצות), מונה מדיד, מודל (לוגיקה מתמטית), מכפלה קרטזית, מידת לבג, אקסיומת הבנייה, אקסיומת הבחירה, אקסיומת ההחלפה, אקסיומת ההיקפיות, אקסיומה, אינדוקציה טרנספיניטית, נוסחה, סדר טוב, עוצמה (מתמטיקה), קבוצת שבת, קבוצת החזקה, קבוצה גדירה, קורט גדל, תורת הקבוצות, ג'ון פון נוימן, השערת הרצף, השערת הרצף המוכללת, הוכחה, כמת (לוגיקה), 1935, 1937, 1938.
ZF
#הפניה תורת הקבוצות האקסיומטית.
חָדָשׁ!!: L (תורת הקבוצות) וZF · ראה עוד »
מספר ממשי
במתמטיקה, מספר ממשי הוא מספר המייצג גודל, כמו \ 3, -4.1, \tfrac או \ 2\pi.
חָדָשׁ!!: L (תורת הקבוצות) ומספר ממשי · ראה עוד »
מספר סודר
בתורת הקבוצות, מספר סודר (באנגלית: Ordinal number) הוא טיפוס סדר של קבוצה סדורה היטב.
חָדָשׁ!!: L (תורת הקבוצות) ומספר סודר · ראה עוד »
משפט סקולם-לוונהיים
#הפניה משפט לוונהיים-סקולם.
חָדָשׁ!!: L (תורת הקבוצות) ומשפט סקולם-לוונהיים · ראה עוד »
מחלקה (תורת הקבוצות)
בתורת הקבוצות, מחלקה היא אוסף של כל הקבוצות שחולקות תכונה משותפת.
חָדָשׁ!!: L (תורת הקבוצות) ומחלקה (תורת הקבוצות) · ראה עוד »
מונה מדיד
בתורת הקבוצות, מונה מדיד הוא סוג מרכזי של מונה גדול.
חָדָשׁ!!: L (תורת הקבוצות) ומונה מדיד · ראה עוד »
מודל (לוגיקה מתמטית)
בלוגיקה מתמטית, מודל של תורה הוא מבנה המתאים לשפה, שבו מתקיימות כל האקסיומות.
חָדָשׁ!!: L (תורת הקבוצות) ומודל (לוגיקה מתמטית) · ראה עוד »
מכפלה קרטזית
מַכְפֵּלָה קַרְטֵזִית (סימון מתמטי: \times) היא פעולה בינארית על קבוצות היוצרת קבוצה חדשה, שאבריה הם הזוגות הסדורים שרכיביהם מגיעים משתי הקבוצות, בהתאמה.
חָדָשׁ!!: L (תורת הקבוצות) ומכפלה קרטזית · ראה עוד »
מידת לבג
מידת לֵבֵּג היא פונקציית מידה על שדה המספרים הממשיים, שמהווה הכללה של מושג האורך (אפשר להכליל מידת לבג של נפח על המרחב \mathbb^n).
חָדָשׁ!!: L (תורת הקבוצות) ומידת לבג · ראה עוד »
אקסיומת הבנייה
אקסיומת הבנייה היא אקסיומה הטוענת, שכל קבוצה היא "בת-בנייה"; או בנוסח המקורי: שמחלקת הקבוצות היא מחלקת-הקבוצות בנות-הבנייה.
חָדָשׁ!!: L (תורת הקבוצות) ואקסיומת הבנייה · ראה עוד »
אקסיומת הבחירה
אקסיומת הבחירה היא אחת האקסיומות של תורת הקבוצות האקסיומטית לפיה, בהינתן אוסף של קבוצות לא ריקות, ניתן לבחור איבר אחד מכל קבוצה.
חָדָשׁ!!: L (תורת הקבוצות) ואקסיומת הבחירה · ראה עוד »
אקסיומת ההחלפה
בתורת הקבוצות האקסיומטית, אקסיומת ההחלפה היא סכימה של אקסיומות שמבטיחות כי תמונה של הפעלת פונקציה גדירה על קבוצה היא גם קבוצה.
חָדָשׁ!!: L (תורת הקבוצות) ואקסיומת ההחלפה · ראה עוד »
אקסיומת ההיקפיות
בתורת הקבוצות האקסיומטית, אקסיומת ההיקפיות היא אקסיומה במערכת ZF.
חָדָשׁ!!: L (תורת הקבוצות) ואקסיומת ההיקפיות · ראה עוד »
אקסיומה
אַקְסיּוֹמָה, אמיתה, או הנחת יסוד (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה במסגרת מסוימת כנכונה מבלי להוכיחה.
חָדָשׁ!!: L (תורת הקבוצות) ואקסיומה · ראה עוד »
אינדוקציה טרנספיניטית
אינדוקציה טרנספיניטית או אינדוקציה על־סופית היא שיטת הוכחה המאפשרת להוכיח שתכונה מסוימת מתקיימת לכל איברי קבוצה סדורה היטב.
חָדָשׁ!!: L (תורת הקבוצות) ואינדוקציה טרנספיניטית · ראה עוד »
נוסחה
נוסחאות, במתמטיקה, בפיזיקה ובכימיה, בבול ישראלי נוסחה, במתמטיקה ובמדע, היא דרך קומפקטית וסימבולית לכתיבת מידע או להצגת קשר כמותי בין גורמים אחדים.
חָדָשׁ!!: L (תורת הקבוצות) ונוסחה · ראה עוד »
סדר טוב
במתמטיקה, סדר טוב על קבוצה הוא סדר מלא שבו לכל תת-קבוצה לא ריקה יש איבר ראשון.
חָדָשׁ!!: L (תורת הקבוצות) וסדר טוב · ראה עוד »
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
חָדָשׁ!!: L (תורת הקבוצות) ועוצמה (מתמטיקה) · ראה עוד »
קבוצת שבת
בתורת הקבוצות, קְבוּצַת שֶׁבֶת היא קבוצה הנחתכת עם כל קבוצה סגורה ולא חסומה.
חָדָשׁ!!: L (תורת הקבוצות) וקבוצת שבת · ראה עוד »
קבוצת החזקה
בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A היא קבוצת כל תת הקבוצות של A, ומסמנים אותה ב־ \mathcal(A).
חָדָשׁ!!: L (תורת הקבוצות) וקבוצת החזקה · ראה עוד »
קבוצה גדירה
#הפניה קבוצה ניתנת להגדרה.
חָדָשׁ!!: L (תורת הקבוצות) וקבוצה גדירה · ראה עוד »
קורט גדל
קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.
חָדָשׁ!!: L (תורת הקבוצות) וקורט גדל · ראה עוד »
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
חָדָשׁ!!: L (תורת הקבוצות) ותורת הקבוצות · ראה עוד »
ג'ון פון נוימן
ג'ון לואיס פון נוימן (באנגלית: John von Neumann; 28 בדצמבר 1903 – 8 בפברואר 1957) היה מתמטיקאי ואיש אשכולות הונגרי-אמריקאי יהודי מומר.
חָדָשׁ!!: L (תורת הקבוצות) וג'ון פון נוימן · ראה עוד »
השערת הרצף
השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).
חָדָשׁ!!: L (תורת הקבוצות) והשערת הרצף · ראה עוד »
השערת הרצף המוכללת
#הפניה השערת הרצף#השערת הרצף המוכללת.
חָדָשׁ!!: L (תורת הקבוצות) והשערת הרצף המוכללת · ראה עוד »
הוכחה
במתמטיקה ובלוגיקה הוכחה היא סדרה סופית של טענות הנובעות זו מזו בעזרת כללי היסק, תוך שימוש בהגדרות, באקסיומות, ובידע קודם שהוכח קודם לכן, המראה שטענה מסוימת היא נכונה.
חָדָשׁ!!: L (תורת הקבוצות) והוכחה · ראה עוד »
כמת (לוגיקה)
#הפניה כמת.
חָדָשׁ!!: L (תורת הקבוצות) וכמת (לוגיקה) · ראה עוד »
1935
אין תיאור.
חָדָשׁ!!: L (תורת הקבוצות) ו1935 · ראה עוד »
1937
אין תיאור.
חָדָשׁ!!: L (תורת הקבוצות) ו1937 · ראה עוד »
1938
אין תיאור.
חָדָשׁ!!: L (תורת הקבוצות) ו1938 · ראה עוד »
אזכור
[1] https://he.wikipedia.org/wiki/L_(תורת_הקבוצות)
