Friedrich Ludwig Gottlob Frege, sayal (nicel, kardinal ; ingilizce : cardinal) sayıyı (kümenin eleman sayısını gösteren doğal sayı) nasıl ele almakta ve nasıl tanımlamaktadır? Bunu anlayabilmek için öncelikle birinci düzey ve ikinci düzey biçimsel mantık arasındaki ayrıma dikkat etmemiz gerekir. Birinci düzey niceleme mantığında niceleyiciler, değişkenleri nicelerler. Bir başka deyişle, “tüm x’ler için” ya da “bazı x’ler için” biçimindeki ifadelerden başka niceleyiciler, birinci düzey mantıkta yer almaz. İkinci düzey niceleme mantığında ise yüklemlerin de nicelenebildiğini görürüz. Bir bakıma ikinci düzey mantık, sadece yüklemlerin kaplamlarındaki nesneler hakkında değil, bizatihi yüklemlerin kendileri hakkında konuşabildiğimiz bir mantıktır. Frege, sayal sayıları ikinci düzey yüklemler mantığında tanımlamaktadır. Dogru cevap D'dir.