חיפוש ברשת
מילון
חיפוש בפורום
公理模式 – מילון עברי-אנגלי
לצערנו, לא נמצאו תוצאות באנגלית עבור "公理模式"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
公理模式
在
符号逻辑
中，用有穷数目的
公理
表达
公理系统
有时是不方便或不可能的。因此，要使用
公理模式
。形式上说，公理模式是
合式公式
的(通常是
无穷
的)
集合
，其中每个元素都被接受为一个公理。这个集合常常是
递归
构造的。一个周知的公理模式是
替代公理
模式。
在
元数学家
之间，关于包含公理模式的公理系统是否应当被看作是优雅的是有争议的。一些逻辑学家更偏好使用有穷数目的公理，如果可能的话。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
公理模式 – מילון עברי-עברי
לצערנו, לא נמצאו תוצאות בעברית עבור "公理模式"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
公理模式
在
符号逻辑
中，用有穷数目的
公理
表达
公理系统
有时是不方便或不可能的。因此，要使用
公理模式
。形式上说，公理模式是
合式公式
的(通常是
无穷
的)
集合
，其中每个元素都被接受为一个公理。这个集合常常是
递归
构造的。一个周知的公理模式是
替代公理
模式。
在
元数学家
之间，关于包含公理模式的公理系统是否应当被看作是优雅的是有争议的。一些逻辑学家更偏好使用有穷数目的公理，如果可能的话。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
© 2007
מילון
G בבילון אונליין - נתמך ע"י מילון בבילון 9
