בתשובה לאורי גוראל-גורביץ', 01/10/05 0:31
רגע 334410
האם ניתן להוכיח ב-ZF שכל איבר של קבוצה הוא קבוצה?
רגע 334412
אפשר להתעלם מהשאלה. הרגע הבנתי שהתשובה היא כן.
רגע 334414
ZF מדברת על קבוצות, לא על כלבים וחתולים. כל x שנמצא שם בכל נוסחה הוא קבוצה. להדגמה, איך היית מנסח את הנוסחה "x הוא קבוצה" ב-ZF?
רגע 334418
כבר הבנתי שזו שאלה טיפשית. תגובה 334412.

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

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