公式化的反义词