Теорема Геделя о неполноте говорит, что всякая полная система содержит в себе противоречия. Если система не содержит противоречий, значит, она неполная.