本质递归不可判定理论

существенно рекурсивно неразрешимая теория

пословный:

本质	递归	不可判定理论
běnzhì 1) основное свойство, характер, природа 2) филос. субстанция; сущность; существенный	dìguī мат. рекурсия; рекурсивный	_undecidable theory