For every natural number n, the number of formulas φ(x1, ..., xn) in n free variables, up to equivalence modulo T, is finite.
Για κάθε φυσικό αριθμό n, ο αριθμός των τύπων φ(x1, ..., xn) σε n ελεύθερες μεταβλητές, μέχρι την ισοδυναμία κατά T, είναι πεπερασμένος.