The concept of quantifiers in mathematical logic and philosophy, including universal and existential quantifiers and their usage in expressing properties of objects