検索結果- 英語 - 英語
検索内容:
axiomize
関連語
( present singular third-person )
( participle present )
( participle past )
( past )
axiomizing
動詞
活用形
分詞
現在形
日本語の意味
『axiomize』という動詞の現在分詞形です。提供された英語の意味は活用形について説明しており、意味ではなく、動詞の現在分詞(進行形)としての形式を示しています。
axiom schema
名詞
日本語の意味
公理スキーマとは、形式的な公理体系の言語で記述される定式であり、その中に1つ以上のスキーマ変数が含まれている。これらの変数は、その体系内の任意の項や部分式を表し、場合によっては特定の条件を満たす必要があることもある。
関連語
axiom scheme
名詞
日本語の意味
公理スキーム:ある公理体系の言語で記述された数式で、1つ以上のスキーム変数(任意の項や部分式を表す変数)が含まれており、これらの変数が一定の条件を満たす場合もある。
関連語
loading!
Loading...