Bertrand Russell, Alfred North Whitehead ile birlikte 1910 - 1913 yılları arasında kaleme aldığı "Principia Mathematica" (Matematiğin Temelleri) adlı eserinde, modern mantığın o ana kadar ulaştığı sonuçları başarıyla ifade etmiştir. "Principia Mathematica" nın amacı, matematiğin, ilk teoremlerinden başlayarak, mantık teoremleri ile ispatlanmasıdır. İlk teoremler, matematik konuşabilmek için matematik dilinin oluşturulmasıdır ; insanların anlaşabilmesi için Türkçe ve İngilizce gibi dillerin oluşturulması gibi. 0'dan başlayarak, 1 ve diğer tam sayılarla devam ederek, sayıların varlığının ispatlanması, ilk sıralardaki teoremlerdendir. Toplam ve çıkarma işlemlerinin ispatlanması (1 + 1 = 2 ; 1 - 1 = 0 olması gibi), ilk sıralardaki teoremlerdendir. (Bertrand Arthur William Russell ve Alfred North Whitehead : ingiliz, filozof, matematikçi ; Russel : aynı zamanda tarihçi ve sosyolog). Doğru yanıt B'dir.