「公式」はよく使う言葉だが、意味わからん。公式＝オフィシャルは入れない。日本語群 公式 等式 恒等式 定理 命題 英語群 formula equation identity theorem proposition これらを同義語か異義語かで分類しようとすると、困ったことになる。