For example, it is intuitively clear that the bivalent quantifier ∀ of type (1) is related to the bivalent quantifier all of type (1,1).
確定! 回上一頁