שיחה:משפט לוונהיים-סקולם
הוספת נושאתגובה אחרונה: לפני 12 שנים מאת דניאל ב.
- "תורה בת מנייה" - כיצד קובעים את העוצמה של תורה? על פי עוצמת השפה? על פי עוצמת קבוצת האקסיומות? על פי עוצמת קבוצת הקבועים?
- כפשוטו, הכוונה היא לתורה שמכילה מספר בן מניה של נוסחאות; בפועל, במאמר זה הכוונה היא תמיד לתורה המנוסחת בשפה בת מניה (ואז ממילא היא מונה מספר בן מניה של נוסחאות - שכן אוסף הרצפים הסופיים הנבנים מאלפבית בן מניה הוא בן מניה).
- לפי המשפט האחרון בערך מודל (לוגיקה מתמטית), האם במשפט "לכל תורה (שאינה בהכרח בת מנייה) בשפה מסדר ראשון שיש לה מודל אינסופי, יש לה מודל מכל עוצמה [אינסופית] הגדולה מעוצמת קבוצת הקבועים שלה" לא צריך להוסיף "אינסופית" היכן שנמצאים הסוגריים המרובעים? תומר - שיחה 13:27, 22 בינואר 2012 (IST)
- הכוונה לשפה. הבהרתי.
- כן, תודה. דניאל • תרמו ערך 14:15, 22 בינואר 2012 (IST)