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