כפייה (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
|||
שורה 36:
אם <math>A \subset \mathbb{N}, A \in M</math> ו-g היא הפונקצייה המציינת שלה, אז הקבוצה <math>D_g = \{p \in \mathbb{P} | \exist n \in \mathbb{N}\,\, p(n) \neq g(n) \}</math> היא קבוצה צפופה (כל תנאי הוא סופי וניתן להרחיב אותו כך שלא יתאים ל-g), והיא נמצאת במודל הבסיס ולכן G חייב להיחתך איתה.
באופן הזה ניתן להוכיח כי שלילתה של [[אקסיומת הבנייה]] (<math>V \neq L</math>) עקבית - נתחיל ממודל שמקיים את
בנייה כמעט זהה תספק מודל שלא מקיים את [[השערת הרצף]]:
|