הבדלים בין גרסאות בדף "מונה קומפקטי חלש"

מ
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q2905392)
למשל, בשפה בה a,b הם לא בני מנייה ניתן לבטא את מושג הארכימדיות, ובהקשר של תורת הקבוצות - את מושג ה'''ביסוס היטב''' (אין סדרת שייכות יורדת אינסופית).
 
המשמעות של העובדה האחרונה היא שאם יש לנו אפשרות להרחיב את משפט הקומפקטיות לשפות האלו נוכל לייצר באמצעות [[אקסיומת היסוד#מיטוטהמיטוט מוסובסקישל מוסטובסקי|מיטוט מוסטובסקי]] מודלים פנימיים סטנדרטיים של תורת הקבוצות (כלומר מודלים עם יחס השייכות הרגיל), שיקיימו אוספי נוסחאות מגוונים.
 
משפט הקומפקטיות כמות שהוא לא יכול להתקיים בשפות המורחבות כיוון שניתן לייצר אוסף של נוסחאות בשפה הזו שלכל תת-אוסף סופי יש מודל ולאוסף כולו אין.