ジーニアス英和大辞典 ページ 28245 での【論理・数学cf. assumption, theorem】単語。