תורת הקבוצות/אינדוקציה טרנספיניטית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 11:
נהוגות שתי טכניקות להוכחה באינדוקציה טרנספיניטית:
* <math>\phi(a_0)</math>
* <math>\forall x\prec a,\phi(x)\Rightarrow\phi(a)</math>
* <math>\phi(a_0)</math>
* מקרה א' - <math>a</math> [[תורת הקבוצות/יחסי סדר#יחס סדר טוב|איבר עוקב]], לכן יהי <math>S(x)=a</math>. מכיוון ש<math>x\prec S(x)=a</math>, הטענה <math>\forall y\prec a,\phi(y)</math> גוררת את הטענה <math>\phi(x)</math>, לכן לובשת ההוכחה צורה של <math>\phi(x)\Rightarrow\phi(S(x))</math>.
|