תוכן עניינים
1 יַחַס: כפייה (לוגיקה מתמטית).
כפייה (לוגיקה מתמטית)
ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית.
לִרְאוֹת מונה אי-נשיג וכפייה (לוגיקה מתמטית)