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