א
א
א




בלוגיקה מתמטית, כפייה היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית. את הכפייה פיתח פול כהן ב⁻1963 כדי להוכיח את העצמאות של השערת הרצף במסגרת ZFC (אקסיומות צרמלו⁻פרנקל לרבות אקסיומת הבחירה), ומאז נעשה שימוש בטכניקה זו כדי להוכיח את העקביות והעצמאות של מאות טענות אחרות. מתוך ויקיפדיה
fphhv n,nyhev
הצטרפו לדף הפייסבוק שלנו

השם שלי
מהו שמך הפרטי?
כינוי החיבה שלך (אם יש)
אופן כתיבת השם באנגלית

דווחו לנו על טעות
