Original: Two common quantifiers are the existential â ("there exists") and universal â ("for all") quantifiers.
Simplified: It is different from other systems of logic because it has the concept of quantifiers.