univerzální kvantifikátor