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

מ (בוט: החלפת טקסט אוטומטית (-\[\[(.+)\|\1\]\] +\1))
בלוגיקה מסדר שני אפשר לבטא את העובדה "A סופית" - כי המשמעות של עובדה זו היא שכל [[פונקציה חח"ע]] מ-A לעצמו היא גם [[פונקציה על|על]]. באופן דומה, ניתן לבטא גם את העובדה "A בת מנייה" - כי אז בין כל שתי תתי-קבוצות אינסופיות של A יש פונקציה חח"ע ועל. שני המושגים האלו אינם ניתנים לביטוי בלוגיקה מסדר ראשון, לפי [[משפט הקומפקטיות]] ומשפט סקולם-לוונהיים, ולכן שני המשפטים האלו אינם מתקיימים בלוגיקה מסדר שני.
 
[[אקסיומת האינדוקציה]] ב[[אריתמטיקה]] ו[[אקסיומת ההחלפה]] (או [[אקסיומת ההפרדה]]) ב[[תורת הקבוצות האקסיומטית]] הן דוגמאות לאוסף אינסופי של אקסיומות מסדר ראשון שנועדו להחליף אקסיומה בודדת מסדר שני. בשני המקרים, האקסיומה מסדר שני מבטאת יותר מהאוסףמאוסף האקסיומות מסדר ראשון.
 
== כללי הסקה ==
משתמש אלמוני