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