您希望如何使用 PONS.com?

已经订阅无广告版的PONS了吗?

广告版的PONS

像往常一样访问PONS.com并进行广告跟踪和广告投放

有关追踪的详细信息,请参阅数据保护信息和隐私设置

PONS Pur

无第三方广告

无广告跟踪

立即订阅

如果您已经拥有PONS.com免费账户,

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

面容
Axiome
英语
英语
德语
德语
New·ton's axi·oms [ˌnju:tənz ˈ-, ˌnu:-, ˌnju:-] 名词 pl 物理
Newton's axioms
axi·om [ˈæksiəm] 名词
Axiom nt <-s, -e>
打开开放词典条目
axiom of choice 名词
axiom of choice 数学
打开开放词典条目
axiom of countability 名词
德语
德语
英语
英语
PONS OpenDict

您想添加一个词、一个短语或一段译文吗?

請將您的新條目傳送給 PONS OpenDict。 提交的建議將由 PONS 編輯部審核,並根據情況納入結果。

添加词条
PONS词典中的例句(已经编辑处理)
单语范例(未经PONS编辑处理)
He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary.
en.wikipedia.org
His proofs often invoke axiomatic notions which were not originally presented in his list of axioms.
en.wikipedia.org
Thus, what the axiom is really saying is that two sets are equal if and only if they have precisely the same members.
en.wikipedia.org
In logic programming, a program consists of a set of axioms and rules.
en.wikipedia.org
Axioms 2, 3 and 4 can be summarized by saying that positive properties form a principal ultrafilter.
en.wikipedia.org
互联网提供的例句(未经PONS编辑处理)
[...]
[ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
[...]
www-madlener.informatik.uni-kl.de
[...]
[ Zusätzliche Operatoren in F0, 8P ] Um Formeln aus ganz F im deduktiven System F0 betrachten zu können, kann man weitere Axiome einführen.
[...]
[...]
If F = ( Ax, R ) is a deductive system with sound axioms ( i.e. the axioms are tautologies ) and sound rules, then F is sound.
[...]
www-madlener.informatik.uni-kl.de
[...]
Ist F = ( Ax, R ) ein deduktives System mit korrekten Axiomen ( d.h. Tautologien als Axiome ) und korrekten Regeln, so ist F korrekt.
[...]
[...]
The emphasis of this project is put on the analysis of interactions between different sets of axioms from a mathematical point of view.
[...]
www.informatik.uni-hamburg.de
[...]
Der Schwerpunkt dieses Projekts liegt auf der Analyse der Wechselwirkungen zwischen verschiedenen Mengen von Axiomen aus mathematischer Sicht.
[...]
[...]
I.e. if two terms t1 and t2 are equivalent in propositional logic and if an interpretation I satisfies your axioms, then I ( t1 ) = I ( t2 ) must hold.
[...]
www-madlener.informatik.uni-kl.de
[...]
D.h. sind zwei Terme t1 und t2 äquivalent im Sinne der Aussagenlogik und erfüllt eine Interpretation I Ihre Axiome, dann soll I ( t1 ) = I ( t2 ) gelten.
[...]
[...]
Further research has shown that some simple properties of infinite sets like “ how many real numbers are there ” are not decided by the Zermelo-Fraenkel axioms.
[...]
www.math.uni-bonn.de
[...]
Weitere Untersuchungen haben gezeigt, dass auch einfache kombinatorische Eigenschaften unendlicher Mengen wie die Frage wieviele reelle Zahlen gibt es? von den Zermelo-Fraenkelschen Axiomen nicht entschieden werden.
[...]

在双语词典中的"axioms"译文