一阶理论及其元逻辑正文 数理逻辑所研究的一个重要内容。一阶理论是一种用一阶语言陈述的、并用一阶逻辑的规律作为证明工具的形式系统。一阶逻辑是不包括非逻辑符号和非逻辑公理的一阶理论。其他的一阶理论，在其... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
