研究社新英和大辞典 ページ 214707 での【数学論理】単語。