Πώς θα θέλατε να χρησιμοποιείτε το PONS.com;

Είστε ήδη συνδρομητής του PONS Pur;

PONS με διαφημίσεις

Πηγαίνετε στο PONS.com όπως πάντα με παρακολούθηση διαφημίσεων και διαφημίσεις

Μπορείτε να βρείτε λεπτομερέστερες πληροφορίες σχετικά με την παρακολούθηση διαφημίσεων στα Προστασία δεδομένων και Ρυθμίσεις απορρήτου.

PONS Pur

χωρίς διαφημίσεις από τρίτους προμηθευτές

χωρίς παρακολούθηση διαφημίσεων

Γίνετε συνδρομητής τώρα

Εάν έχετε ήδη λογαριασμό χρήστη στο PONS.com μπορείτε να γίνετε συνδρομητής στο PONS Pur .

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.

lartiste
Axioms
γερμανικά
γερμανικά
αγγλικά
αγγλικά
Axi·om <-s, -e> [aˈksi̯o:m] ΟΥΣ ουδ
αγγλικά
αγγλικά
γερμανικά
γερμανικά
postulate ΜΑΘ
Axiom ουδ
Axiom ουδ <-s, -e> τυπικ
PONS OpenDict

Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?

Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.

Προσθήκη λήμματος
Παραδείγματα από το λεξικό PONS (ελεγχόμενα από το λεξικογραφικό τμήμα)
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
Jedoch sagt das Axiom nichts über die konkrete Darstellung der Auswahlfunktion.
de.wikipedia.org
Außerdem gibt es die Möglichkeit, die Vollständigkeit durch stetige Funktionen zu beschreiben, indem man bestimmte Eigenschaften stetiger Funktionen zu Axiomen erhebt.
de.wikipedia.org
Außerdem zeigt die Tabelle, welche Schließungssätze eine Ebene erfüllt, deren Koordinatenbereich die Axiome für einen bestimmten „verallgemeinerten Körper“ erfüllt.
de.wikipedia.org
Eine solche Art lässt sich durch gewisse Axiome festlegen, die die definierenden Relationen zu erfüllen haben.
de.wikipedia.org
Sie lassen sich nicht erweitern, ohne diese Eigenschaft oder das archimedische Axiom zu verletzen, also „unendlich kleine strikt positive Zahlen“ einzuführen.
de.wikipedia.org
Παραδείγματα από το διαδίκτυο (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
[...]
[ 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
[...]
[ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
[...]
[...]
Ist F = ( Ax, R ) ein deduktives System mit korrekten Axiomen ( d.h. Tautologien als Axiome ) und korrekten Regeln, so ist F korrekt.
[...]
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.
[...]
[...]
Der Schwerpunkt dieses Projekts liegt auf der Analyse der Wechselwirkungen zwischen verschiedenen Mengen von Axiomen aus mathematischer Sicht.
[...]
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.
[...]
[...]
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-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.
[...]
[...]
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.
[...]
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.
[...]