公理化する

意味

  • 動 公理化するこうりかする

例文

数shù学xué家jiā把bǎ这zhè套tào理lǐ论lùn公gōng理lǐ化huà了le。

数学者はこの理論体系を公理化した。

コアイメージ

ばらばらの説明を、少数の基本前提と推論規則から成る形式的な体系にまとめるイメージ

中国語での定義

为wèi理lǐ论lùn或huò学xué说shuō明míng确què规guī定dìng基jī本běn公gōng理lǐ和hé推tuī理lǐ规guī则zé,使shǐ整zhěng个gè理lǐ论lùn可kě以yǐ从cóng这zhè些xiē公gōng理lǐ出chū发fā建jiàn立lì起qǐ来lái

語源

公理化は、「公理」に「化」を付けた語で、「公理」は理論の出発点として証明せずに置く基本命題、「化」はある性質や状態に整えることを示し、理論を公理と推論規則で組み立てる形にすることを表す

コラム

  • 「公理化」は公理を新しく作ることだけを指さず、すでにある理論の前提や推論の仕方を整理して、形式的に示すことにも使われる

おすすめの単語帳

1 / 1
↑ TOPへ