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

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