אין מאַטאַמאַטיקאַל לאָגיק, אַ ערד טערמין פון אַ פאָרמאַל סיסטעם איז אַ טערמין אַז טוט נישט אַנטהאַלטן אַ פֿרייַ וועריאַבאַלז. סימילאַרלי, אַ ערד פאָרמולע איז אַ פאָרמולע וואָס טוט נישט אַנטהאַלטן אַ פֿרייַ וועריאַבאַלז. אין ערשטער-סדר לאָגיק מיט אידענטיטעט, די זאַץ \ forall} x (x = x) איז אַ ערד פאָרמולע. א ערד אויסדרוק איז אַ ערד טערמין אָדער ערד פאָרמולע.
|