CEVAP: Frege için bir doğru önermenin analitik olması, o önermenin tanımlar ve mantıksal çıkarım kuralları ile elde edilebilmesi gereklidir. Dolayısıyla Frege tüm aritmetik önermelerinin tanımlardan ve sadece genel mantıksal çıkarım kurallarına başvurarak elde edilebileceğini savunmaktadır. Buna ek olarak, aritmetiğin başlangıç noktasını oluşturan tanımlar da sadece mantık kavramlarına yer veren tanımlar olacak şekilde seçilebilir. Frege’nin mantıkçılık olarak adlandırılan, sıklıkla aritmetiğin mantığa indirgenmesi biçiminde de dile getirilen programının ana hatları bunlardır.