adj.無法證明的;無法證實(shí)的
Given any finite set of axioms, we have an infinite number of truths that are unprovable in that system. 給定任何有限個(gè)公設(shè),在該系統(tǒng)內(nèi)都會(huì)有無窮多個(gè)無法證明的事實(shí)。