שיחה:מודל (לוגיקה מתמטית)
הוספת נושאמראה
תגובה אחרונה: לפני 15 שנים מאת עוזי ו.
כתוב "לתורה שיש לה מודלים בכל גודל סופי, יש גם מודל אינסופי."
מה עם התורה שיש בה את האקסיומה הבאה:
הרי עפ"י האקסיומה, לכל 3 איברים, לפחות 2 מהם שקולים, כלומר שכל מודל של התורה מכיל לכל היותר 2 עצמים, בסתירה למה שכתוב. --כרוז • שיחה • חידות 19:04, 25 ביוני 2009 (IDT)
- אם היו לתורה הזו מודלים בכל גודל סופי (ואין), היו לה גם מודלים אינסופיים. עוזי ו. - שיחה 21:32, 25 ביוני 2009 (IDT)