טרחנים כפייתיים במתמטיקה

בתשובה לעוזי ו., 31/08/05 2:25

אוקיי, ויתרתי

326758

גדי אלכסנדרוביץ' • בתשובה לעוזי ו.

יום ד', 31/8/2005, 8:21

מניחים שיש קבוצה אינסופית ובת מניה? לא אומרים שהיא התוצר של התהליך האינסופי של יצירת הטבעיים (או שזו בדיוק ההנחה?)

אוקיי, ויתרתי

326765

עוזי ו. • בתשובה לגדי אלכסנדרוביץ'

יום ד', 31/8/2005, 9:47

1. האקסיומות מאפשרות לבנות איחוד של קבוצות וקבוצת חזקה, ולקבל (בתנאים מסויימים) תת-קבוצה של קבוצה קיימת.
2. כל הוכחה היא שרשרת סופית של טענות.
3. לכן אי אפשר להוכיח קיום של קבוצה אינסופית בלי להניח שיש כזו.

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות