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 .