בתשובה לעוזי ו., 19/10/05 17:03
קנטור והנחת המבוקש 339067
ומה אומרת האקסיומה בתורת הקבוצות?
קנטור והנחת המבוקש 339071
עבור כל קבוצה וכל תכונה של קבוצות שניתן לנסח בשפה מסוימת (השפה של תורת הקבוצות) קיימת קבוצת כל האיברים של אותה קבוצה, שהם בעלי אותה תכונה.
קנטור והנחת המבוקש 339077
מתקבל על הדעת, אבל מה כאן ההפרדה?
קנטור והנחת המבוקש 339079
לכל ניתן לנסח באותה שפה תכונה נגדית. כלומר, קיימת גם קבוצת כל איברי הקבוצה הנתונה ש*לא* מקיימים את התכונה (כלומר, מקיימים את התכונה הנגדית). למעשה האקסיומה הזאת אומרת שאפשר לחלק את הקבוצה לשתי קבוצות: קבוצת האיברים שמקיימים את התכונה, וקבוצת האיברים שלא. זו ההפרדה.
קנטור והנחת המבוקש 339081
אהמ... נאה מאוד.:)

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים