Dans le cas des travaux de Godel, le système fixe de
raisonnement appliqué à la théorie des pombres auquel renvoie le mot
00
«démonstration» est celui des Principia Mathematica (P.M.), oeuvre
gigantesque de Bertrand Russell et Alfred North Whitehead, publiée
entre 0000 et 0000.
Gödel'in çalışması söz konusu olduğunda, "ispat" kelimesinin atıfta bulunduğu gölge teorisine uygulanan sabit akıl yürütme sistemi, Bertrand Russell ve Alfred North Whitehead tarafından 0000 ile 0000 yılları arasında yayınlanan devasa bir eser olan Principia Mathematica'da (PM) yer almaktadır.