그린 정리公式: [명사](1)일반 법칙.(2)〈수학〉 공식.公式化: (1)[명사] (예술·문학 창작에서의) 형식화.(2)[명사] 공식화.(3)[동사] 공식화하다.格林纳达: [명사]【음역어】〈지리〉 그라나다(Grenada). [수도는 ‘圣shèng乔治’(세인트조지스, Saint George’s)]公式主义: [명사] 공식주의. 형식주의. →[教条]递推公式: [명사]〈수학〉 순환 공식(循環公式).