絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/21

例文

Her intuitionistic approach to the proof avoided any appeal to contradiction, focusing instead on explicit constructions.

彼女の直観主義的なアプローチは背理法に訴えることを避け、代わりに明示的な構成に焦点を当てた。

正解を見る

Her intuitionistic approach to the proof avoided any appeal to contradiction, focusing instead on explicit constructions.

音声機能が動作しない場合はこちらをご確認ください

形容詞

比較不可

(mathematics, logic) Dealing strictly in constructive proofs, abstaining from proof by contradiction

日本語の意味

数学や論理学の分野で、構成的証明（実際に具体例や手続きを示す証明）に限定し、背理法などによる非構成的手法を用いない性質や立場を示す

Her intuitionistic approach to the proof avoided any appeal to contradiction, focusing instead on explicit constructions.

彼女の直観主義的なアプローチは背理法に訴えることを避け、代わりに明示的な構成に焦点を当てた。

項目の編集設定

例文の編集設定

問題の編集設定