== תרגיל 5 שאלה 1 ==
"הוכח: אוסף כל המילים הסופיות האפשריות הינו בן מנייה"... טוב, ברור שזה נכון. האם אני יכול להציע סידור (יחס סדר לינארי) כדי שיהיה אפשר למיין את המילים (ולמספר אותם עם טבעיים) ואז להראות שלפי הסידור הזה כל מילה באורך סופי n תבוא לפני <math>23^n</math> ואז יש לנו התאמה חח"ע בין המילים (באורך סופי) לטבעיים?