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