העתקות פולינומיאליות ולוגיקה

באשנב נדבר על מאמר של Walter Rudin, בו הוא מציע הוכחה קצרה למשפט אקס: העתקה פולינומיאלית חח״ע מהמרוכבים בחזקת $n$ למרוכבים בחזקת $n$ היא על. נציג הוכחה המבוססת על משפט הקומפקטיות מלוגיקה ושלמות של מערכות אקסיומות. תוכלו להחליט בסוף האשנב איזו משתי ההוכחות קצרה יותר, או לא להחליט.