It has been proved that it is impossible to establish the formal inductive logic on the basis of inductive probability.
It has been proved that it is impossible to establish the formal inductive logic on the basis of inductive probability.
这证明基于归纳的概然性特征，不可能建立起形式的归纳逻辑。