翻譯axiom schema-英文-繁體中文詞典

n. 名詞

1. 公理模式（名詞）：一種帶有變數的公式；代表公理系統中的術語或子公式；用於表達一般原理（數學、邏輯等）
   The axiom schema is used to derive theorems in the formal system.

   公理模式用於在形式系統中推導定理。
   Synonyms:

   formula schemaaxiomatic formulalogical schemamathematical schema
   Antonyms:

   theoremcorollarylemmapostulate