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

.<math>\neg(c_1 = c_2) \wedge \neg(c_1 = c_2) \wedge \neg(c_2 = c_3) </math>
 
זו תורה קטגורית, כי בכל מודל <math>M</math> שלה יש שלושה איברים בדיוק (מהאקסיומה הראשונה), והם פירושי הקבועים <math>c_1^M, c_2^M, c_3^M</math>, ששונים זה מזה (מהאקסיומה השנייה).
* אם בדוגמא הקודמת היינו מוותרים על האקסיומה השנייה, אז התורה לא הייתה קטגורית, כי קיים מודל בו כל סימני הקבועים מתאימים לאותו איבר, למשל (כלומר <math>c_1^M = c_2^M = c_3^M</math>).
* ניקח הפעם שפה עם סימן השוויון, ועם סימני קבועים <math>c_1,c_2,c_3,\dots</math>. ניקח את התורה הבאה:
2,158

עריכות