英语
德语
New·ton's axi·oms [ˌnju:tənz ˈ-, 美 ˌnu:-, ˌnju:-] 名词 pl 物理
- Newton's axioms
-
axiom of choice 名词
-
- Auswahlaxiom nt
axiom of countability 名词
德语
英语
单语范例（未经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编辑处理）
[...]
www-madlener.informatik.uni-kl.de [ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
[...][...]
[ 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.
[...][...]
www-madlener.informatik.uni-kl.de If F = ( Ax, R ) is a deductive system with sound axioms ( i.e. the axioms are tautologies ) and sound rules, then F is sound.
[...][...]
Ist F = ( Ax, R ) ein deduktives System mit korrekten Axiomen ( d.h. Tautologien als Axiome ) und korrekten Regeln, so ist F korrekt.
[...][...]
www.informatik.uni-hamburg.de The emphasis of this project is put on the analysis of interactions between different sets of axioms from a mathematical point of view.
[...][...]
Der Schwerpunkt dieses Projekts liegt auf der Analyse der Wechselwirkungen zwischen verschiedenen Mengen von Axiomen aus mathematischer Sicht.
[...][...]
www-madlener.informatik.uni-kl.de 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.
[...][...]
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.
[...][...]
www.math.uni-bonn.de 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.
[...][...]
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.
[...]浏览词典
- aw-shucks
- ax
- axe
- axe ax
- axil
- axioms
- axis
- axis label
- Axis Powers
- axle
- axle load