Last Updated：2025/11/23
(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
mathematical logic
Edit Histories（0）
Source Word
mathematical logic
Noun
uncountable
usually
Japanese Meaning
数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野
（ plural ）
