Hanya ada dua jenis kuantifikasi
Salah satunya disebut kuantifikasi kernel
Yang lainnya disebut lainnya