Во случајот на Гедел, фиксниот систем на резонирање применето врз теоријата на броеви на кој што зборот „доказ“ се однесува е системот на Principia Mathematica (P.M.), џиновско дело од Бертранд Расел и Алфред Норт Вајтхед, објавено помеѓу 1910. и 1913.
„МАРГИНА бр. 17-18“
(1995)