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