Австрия математигы Курт Гёдель «тулы түгеллек тураһындағы теоремалар»ҙы иҫбатлай, уларға ярашлы, математик аксиомаларҙың натураль һанды асыҡлап, ҡушып һәм ҡабатлап була торған теләһә ҡайһы системаһы (формаль система) тулы түгел. Был шуны аңлата: дөрөҫлөгө лә, ялғанлығы ла был аксиомалар системаһы тарафынан иҫбатлана алмаған иҫәпһеҙ-һанһыҙ күп математик раҫламалар (функциялар, аңлатмалар) бар.