שיחה:מודל (לוגיקה מתמטית)

מתוך ויקיפדיה, האנציקלופדיה החופשית

כתוב "לתורה שיש לה מודלים בכל גודל סופי, יש גם מודל אינסופי."

מה עם התורה שיש בה את האקסיומה הבאה:

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

אם היו לתורה הזו מודלים בכל גודל סופי (ואין), היו לה גם מודלים אינסופיים. עוזי ו. - שיחה 21:32, 25 ביוני 2009 (IDT)