שינויים

הערה V: נשים לב שהסתמכנו על אקסיומת הבחירה (בתחפושת הלמה של צורן) בהוכחה שכל מודול מעל שדה הוא חופשי. האם יכולנו להוכיח זאת ללא שימוש באקסיומת הבחירה? בלאס הוכיח, בשנות השמונים, כי אם מניחים שכל מודול מעל שדה הוא חופשי, אפשר להוכיח (בעזרת האקסיומות של צרמלו פרנקל, וכמובן ללא אקסיומת הבחירה) את אקסיומת הבחירה. כך, הופכת הטענה כי כל מודול מעל שדה הוא חופשי לניסוח שקול לאקסיומת הבחירה במסגרת האקסיומטית של ZF ובפרט לא ניתן להוכיח את הטענה כי כל מודול מעל שדה הוא חופשי בלי להניח את אקסיומת הבחירה (במסגרת האקסיומטית הזאת).

להוכחתו של בלאס: http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf