כפייה (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: הייתה, מסוי\1 |
|||
שורה 78:
ניתן להתגבר על הבעיה הזו באמצעות [[עקרון ההשתקפות (תורת הקבוצות)|עקרון ההשתקפות]] - לכל קבוצה סופית של אקסיומות, ניתן להוכיח ב-ZFC כי קיים סודר <math>\alpha</math> כך שהאוסף <math>V_{\alpha}</math> (שהוא אוסף כל הקבוצות מדרגה שחסומה על ידי <math>\alpha</math>), הוא מודל של אותן אקסיומות, ובפרט ניתן לקחת תת-מודל אלמנטרי בן מנייה של <math>V_{\alpha}</math>.
כעת, אם טענה
== ראו גם ==
|