מיטגליד : לאָגין |פאַרשרייַבונג |פאָרלייגן קשיא
זוכן
[מאָדיפיקאַטיאָן ] ערד אויסדרוק
אין מאַטאַמאַטיקאַל לאָגיק, אַ ערד טערמין פון אַ פאָרמאַל סיסטעם איז אַ טערמין אַז טוט נישט אַנטהאַלטן אַ פֿרייַ וועריאַבאַלז.
סימילאַרלי, אַ ערד פאָרמולע איז אַ פאָרמולע וואָס טוט נישט אַנטהאַלטן אַ פֿרייַ וועריאַבאַלז. אין ערשטער-סדר לאָגיק מיט אידענטיטעט, די זאַץ
  
    
      
    
    \ forall}
  
 x (x = x) איז אַ ערד פאָרמולע.
א ערד אויסדרוק איז אַ ערד טערמין אָדער ערד פאָרמולע.
ביישפילן.1
פאָרמאַל דעפֿיניציע.2
Ground terms.1.2
ערד אַטאָם.2.2
Ground formula.3.2
[ופּלאָאַד מער ינהאַלט ]

Lxjkh 2018@ קאַפּירייט