f1, ..., fn, gが論理式で、Mが任意のモデルであるとき、「M |= f1, M |= f2, ..., M |= fn ならば常に M |= g」であるなら、gはf1, ..., fnの論理的帰結（logical consequence）と言ったりする。だが、この用語法はかなり変だ。logicalってのは、どちらかと…

「仕様」と「公理系」と「セオリー」を同義語で使っている人はけっこう多いな。イデアルとの対応からは次のような用語法がいいような気がする。 イデアルの概念 セオリーの概念 イデアル セオリー （イデアルの）生成系 （セオリーの）公理系 極大イデアル …