Frege’nin aritmetiği mantıksal olana indirgeme projesi, hem sayıların tek tek tanımlanmasını hem de sayıların sırasının yakalanmasını içermektedir. Tek tek sayıların saf mantıktan nasıl türetilebileceğini ortaya koymaya çalışmıştır. Frege, bu çalışmalarının sonucunda aritmetiğe ilişkin tüm doğru önermeleri biçimsel bir dizge içerisinde temsil etmeye çalışmıştır. Doğru yanıt E'dir.