"הוכח: אוסף כל המילים הסופיות האפשריות הינו בן מנייה"... טוב, ברור שזה נכון. האם אני יכול להציע סידור (יחס סדר לינארי) כדי שיהיה אפשר למיין את המילים (ולמספר אותם עם טבעיים) ואז להראות שלפי הסידור הזה כל מילה באורך סופי n תבוא לפני <math>23^n</math> ואז יש לנו התאמה חח"ע בין המילים (באורך סופי) לטבעיים? או שאני צריך להסתבך עם סיגמות, ASCII ועניינים?
:לא בטוח שהבנתי אותך לגמרי, אבל מספיק להסביר שאפשר לסדר. זה מאד דומה למה שעשינו עם הרציונאליים, הצץ במערך התרגול, הנימוק שם מספיק. --<font size='4'>[[משתמש:ארז שיינר|שיינר]]</font>
::תודה, לזה התכוונתי. אגב עכשיו באמת אני קולט שזה תת קבוצה של NxN :)