Klasik mantık, mantık değişmezleri ile ilgili bir ilerleme sağlamış olsa da özellikle“tüm” ve “bazı” gibi ifadeleri içeren önermelerin ele alınışı, yeterince ayrıntılı değildi. Frege’nin geliştirdiği niceleme mantığı, tüm bu sorunları kökünden halletmiş ve modern mantığın gelişiminde yeni bir başlangıç olmuştur.