公理格式

【こうりかくしき】

公理格式

ピンイン gōng lǐ gé shi
日本語訳 公理の型、公理スキーマ