NF (Beli After j:α φ ∧¬Beli¬Canj(α)) → After j:α Beli φ Axiom NF ... ¬Infj,i (P) → Beli¬Infj,i (P) Axioms PIntrInf and NIntrInf correspond to the ...
確定! 回上一頁