שיחה:משפט לוונהיים-סקולם

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