text: 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 .