Last Updated：2025/12/05
An elementary topos provides a rich setting for interpreting higher-order logic and constructing models of set theory.
See correct answer
An elementary topos provides a rich setting for interpreting higher-order logic and constructing models of set theory.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
部分対象分類子を持つカルテシアン閉圏は、高階述語論理を解釈したり集合論のモデルを構築したりするのに適した豊かな枠組みを提供する。
