节点文献
关于数学结构的一些元数学定理
【摘要】 <正> 定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的
- 【文献出处】 自然杂志 ,Nature Magazine , 编辑部邮箱 ,1991年08期
- 【下载频次】45
【摘要】 <正> 定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的