More precisely, there is only one language of each variant of one-sorted first-order logic: with or without equality, with or without functions, with or without propositional variables, ....
Πιο συγκεκριμένα, υπάρχει μόνο μία γλώσσα για κάθε διαφορετική κατηγορία της λογικής πρώτου βαθμού: με η χωρίς ισότητες, με η χωρίς συναρτήσεις, με η χωρίς προτασιακές μεταβλητές,...