An elementary topos provides a rich setting for interpreting higher-order logic and constructing models of set theory.
部分対象分類子を持つカルテシアン閉圏は、高階述語論理を解釈したり集合論のモデルを構築したりするのに適した豊かな枠組みを提供する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
