Besonderhede van voorbeeld: 7422701074318022178

Greek

Για κάθε φυσικό αριθμό n, ο αριθμός των τύπων φ(x1, ..., xn) σε n ελεύθερες μεταβλητές, μέχρι την ισοδυναμία κατά T, είναι πεπερασμένος.

English

For every natural number n, the number of formulas φ(x1, ..., xn) in n free variables, up to equivalence modulo T, is finite.