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