最終更新日：2025/11/29
A conservative extension of a logical theory ensures that every theorem expressible in the original language remains provable without being introduced by the extension.
正解を見る
A conservative extension of a logical theory ensures that every theorem expressible in the original language remains provable without being introduced by the extension.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
