网站首页 百科知识
模型论概念。设U和B为某一一阶语言L的两个模型,如果U和B对于任意语句σεS(L),σ在U上真(记作U1=σ)当且仅当σ在B上真(即B1=σ),则称U和B初等等价。
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。