גדול מספיק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ תקלדה |
מ שחזור, זו לא תקלדה |
||
שורה 1:
ב[[מתמטיקה]], ב[[קבוצה סדורה]], נאמר שטענה P "מתקיימת לכל x '''גדול מספיק'''" [[אם ורק אם]] קיים [[איבר (מתמטיקה)|איבר]] <math>\ r</math> כך שלכל <math>\ r<x</math> הטענה P מתקיימת. אין זה בהכרח נכון שהאיבר r ידוע, אלא רק ידוע כי הוא קיים.
לדוגמה, מתקיים "''x-100'' [[מספר חיובי|חיובי]] לכל מספר גדול מספיק" שכן הטענה נכונה לכל מספר גדול מ-100. דוגמה חשובה
ב[[קבוצה סדורה היטב|קבוצות סדורות היטב]] כגון המספרים הטבעיים הטענה כי P כלשהו מתקיים לכל x גדול מספיק שקולה לטענה כי יש רק מספר סופי של איברים שלא מקיימים את P.
|