ducibility axiom is either inconsistent or redundant. If Principia is inter- ... guage has a synonym in the metalanguage, there are no symbols common.
確定! 回上一頁