שפה מסדר ראשון – הבדלי גרסאות

'''ביטוי''' הוא משתנה או קבוע, או הצבה של ביטויים (במספר הנכון) בתוך פונקציה. '''פסוק''' אפשר לקבל על ידי הצבת ביטויים ביחס, או על ידי שילוב של פסוקים אחרים באמצעות הקשרים והכמתים, באופן שניתן לקריאה חד משמעית. יש לכתוב <math>\ (\phi\implies \psi)\implies \varphi</math>, או <math>\ \phi\implies (\psi\implies \varphi)</math>, או <math>(\phi\implies\psi)\and(\psi\implies\varphi)</math> ולא <math>\ \phi\implies \psi\implies \varphi</math>.

* <math>\ \forall x_1 \exists x_2:(x_1+x_2=0)</math>,

* <math>\ (p > 1) \and (\forall a :((a>0) \implies ((\exists b :( p = a\cdot b)) \implies (a\cdot a = 1 \or a \cdot a = p\cdot p))))</math>;