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