判定不能性

てい・ふのうせいhantei·funōsei0

N.
Math., EDV Unentscheidbarkeit f f.