The researcher extended the theory by introducing second-order quantifiers to express properties of sets of sets.
研究者は集合の集合の性質を表現するために二階の量化子を導入して理論を拡張した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
