最終更新日：2025/12/04
Researchers compared the expressive power of various second-order logics to determine which could capture different mathematical properties.
正解を見る
Researchers compared the expressive power of various second-order logics to determine which could capture different mathematical properties.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
研究者たちは、異なる数学的性質を表現できるものを特定するために、さまざまな二階述語論理の表現力を比較した。
