公理化（中国語）の意味「公理化する」ピンイン・例文

「公理化」のコアイメージコアイメージ

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

「公理化」の中国語での定義中国語での定義

为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

「公理化」の語源語源

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

「公理化」のコラムコラム

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