בתשובה לעוזי ו., 31/08/05 2:25
אוקיי, ויתרתי 326758
מניחים שיש קבוצה אינסופית ובת מניה? לא אומרים שהיא התוצר של התהליך האינסופי של יצירת הטבעיים (או שזו בדיוק ההנחה?)
אוקיי, ויתרתי 326765
1. האקסיומות מאפשרות לבנות איחוד של קבוצות וקבוצת חזקה, ולקבל (בתנאים מסויימים) תת-קבוצה של קבוצה קיימת.
2. כל הוכחה היא שרשרת סופית של טענות.
3. לכן אי אפשר להוכיח קיום של קבוצה אינסופית בלי להניח שיש כזו.

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

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