[...] Геделовата теорема и улогата на логиката На почетокот на овој век, филозофите и математичарите се занимавале со прашањето дали постои таков формален логички систем во кој тргнувајќи од аксиомите и дадените правила за изведба, би можела да се изведе секоја теорема, секое вистинско тврдење (и ниедно лажно) за аритметиката, сѐ она што би можело да биде вистина за операциите на собирање и множење на броевите, и.т.н.
„МАРГИНА бр. 3“
(1994)