ジーニアス英和大辞典 ページ 34885 での【論理・数学定理・公式などの過程】単語。