unprovability
基本解釋
- n.不可推出性
英漢例句
- Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
發(fā)現(xiàn)這種不可證明性的是奧地利數(shù)學(xué)天才庫爾特·高戴爾(Kurt Godel),不幸的是他在晚年發(fā)了瘋。