врз (предл.) - теорија (имн.)

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