Then if every variable v, appearing in 2 has index is n and fea)"'', the following are formal theorems of ZF:(TC((vro,..., pro)éva SF, (2))→ (Kuro), ...
確定! 回上一頁