ジーニアス英和大辞典 ページ 29974 での【論理・数学言語】単語。