למת פודור – הבדלי גרסאות

נמשיך כך ב[[אינדוקציה טרנספיניטית]] לאורך <math>\omega_1</math> צעדים (כאשר בכל שלב אנחנו דואגים לכך ש-<math>\textstyle \eta_\beta \ge \sup_{\alpha < \beta} \eta_\alpha</math>) ונקבל את התוצאה הרצויה - <math>\{T_\beta |\beta <\omega_1\}</math> היא משפחה של <math>\aleph_1</math> קבוצות שבת זרות.