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

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

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

$\forall a\forall b\forall c:\left(a=b\vee b=c\vee a=c\right)$

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

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