Thus there are many kinds of quantifiers, two for each sort of variables.
Για αυτό υπάρχουν πολλών ειδών ποσοδείκτες, δύο για κάθε είδος μεταβλητής.