CEVAP: Önermeler mantığı ile sezgisel olarak apaçık geçerli kimi çıkarımların biçimsel geçerliliğini ortaya koyamayız. Tüm, bazı ifadelerini ve özne yüklem yapısını ortaya koyan bir mantık sistemi olan niceleme mantığı bu nedenle önemlidir.