The axioms of PTT are the following (PTI) Vsvt(T(s=t) e val(s) = val(t)) (PT2) Vsvt(T(→(s=t)) → -val(s) = val(t)) (PT3) VxWy(Snt(x^y) → (T(x^y) → T(x) ...
確定! 回上一頁