|
||||
|
||||
ומה אומרת האקסיומה בתורת הקבוצות? |
|
||||
|
||||
עבור כל קבוצה וכל תכונה של קבוצות שניתן לנסח בשפה מסוימת (השפה של תורת הקבוצות) קיימת קבוצת כל האיברים של אותה קבוצה, שהם בעלי אותה תכונה. |
|
||||
|
||||
מתקבל על הדעת, אבל מה כאן ההפרדה? |
|
||||
|
||||
לכל ניתן לנסח באותה שפה תכונה נגדית. כלומר, קיימת גם קבוצת כל איברי הקבוצה הנתונה ש*לא* מקיימים את התכונה (כלומר, מקיימים את התכונה הנגדית). למעשה האקסיומה הזאת אומרת שאפשר לחלק את הקבוצה לשתי קבוצות: קבוצת האיברים שמקיימים את התכונה, וקבוצת האיברים שלא. זו ההפרדה. |
|
||||
|
||||
אהמ... נאה מאוד.:) |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |