هناك نوعان وجودية و كونية.

الوجودية تعني وجود عناصر تحقق عبارة ما, مثل يوجد x من N بحيث: نرمز للكونية بالرمز .

الكونية تعني أن عبارة ما تكون دائما صحيحة مهما تغيرت قيمة المتغير, مثل كيما كانت قيمة x من R لدينا

x+1)² = x² + 2x + 1 )

نرمز للوجودية بالرمز .