Kwantyfikatory I Twierdzenia