===הבהרה===
# לפי ההגדרה המקובלת של קורטובסקי (Kazimierz Kuratowski), כל n-יה סדורה היא '''כן''' קבוצה (<math>(a,b):=\{\{a\},\{a,b\}\}</math> ו-n-יה סדורה מוגדרת רקורסיבית כזוג סדור, שהאיבר הראשון שלו הוא האיבר הראשון ב-n-יה הסדורה, והאיבר השני הוא ה-(n-1)-יה הסדורה שנותרה, כלומר: <math>(a_1,a_2,\cdots,a_n):=(a_1,(a_2,\cdots,a_n))</math>).
# לא הייתי בטוח איך לנסח את זה, אבל כשכתבתי "מספר האיברים ב-<math>b_i</math>" התכוונתי למספר ה"רכיבים": מספר האיברים/רכיבים ב-<math>\begin{pmatrix}(a_1&,a_2&,\cdots&,a_n\end{pmatrix})</math> הוא n. ברור לי שזה לא אותו דבר כמו עוצמה (הרי העוצמה של n-יה סדורה היא 1 או שניים).
==מותר?==