网络释义英英释义
... machinery foundations 坏设备底座; 机械设备底座 new foundations 新基础集合论 police foundations 警务基础 ...
基于1个网页-相关网页
New Foundations
- abstract: In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name.
以上来源于: WordNet
双语例句原声例句权威例句
-
As a result there were no new foundations established between 1999 and 2004.
因此再1999年到2004年之间没有新的基金会产生。
-
The architect immediately removed the new foundations and undertook excavations.
建筑师立即移开新的基石，进行挖掘。
-
Both existing and new foundations were used to support a concrete grid that extends out from the original building.
利用现存的和新的地基，以支撑原有建筑扩建的混凝土网络。
-
Hobbes is typically concerned with the foundations of this new science, getting the building blocks right from the beginning.
霍布斯特别关注,这门新科学的奠基，从一砖一瓦开始建筑。
应用推荐