докажлив прид.

докажлив (прид.)

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