Translation of "Axiomatic" in German
A
mathematical
theory
consists
of
an
axiomatic
system
and
all
its
derived
theorems.
Eine
Theorie
besteht
aus
einem
Axiomensystem
und
all
seinen
daraus
abgeleiteten
Theoremen.
Wikipedia v1.0
Not
too
bad
for
someone
who
doesn't
know
what
"axiomatic"
means.
Nicht
zu
schlecht
für
jemanden,
der
nicht
weiß,
was
axiomatisch
bedeutet.
OpenSubtitles v2018
A
theory
consists
of
an
axiomatic
system
and
all
its
derived
theorems.
Eine
Theorie
besteht
aus
einem
Axiomensystem
und
all
seinen
daraus
abgeleiteten
Theoremen.
WikiMatrix v1
Axiomatic
Theory
of
Expected
Utility
Equilibrium
Strategies
in
Convex
Compacts.
Axiomatische
Theorie
der
konstanten
Versorger-
gleichgewichtsstrategien
bei
Konvexabkommen.
OpenSubtitles v2018
Shoenfield
worked
on
recursion
theory,
model
theory
and
axiomatic
set
theory.
Shoenfield
beschäftigte
sich
mit
Rekursionstheorie,
Modelltheorie
und
axiomatischer
Mengenlehre.
WikiMatrix v1
I
minimise
my
axiomatic
system,
as
usual.
Ich
minimiere
mein
axiomatisches
System,
wie
man
es
gewohnt
ist.
ParaCrawl v7.1
Wielandt
believed
that
the
axiomatic
method
had
produced
major
advances:
Wielandt
geglaubt,
dass
die
Methode
axiomatisch
hatte
große
Fortschritte:
ParaCrawl v7.1
The
problem
is
axiomatic
and
systemic.
Das
Problem
ist
axiomatischer
und
systemischer
Natur.
ParaCrawl v7.1
Mere
myths
are
now
greeted
as
"axiomatic
truths."
Bloße
Mythen
werden
jetzt
als
„axiomatische
Wahrheiten“
begrüßt.
ParaCrawl v7.1
Students
will
explore
axiomatic
foundations
of
sets,
functions
and
logic.
Die
Studierenden
erforschen
die
axiomatischen
Grundlagen
von
Mengen,
Funktionen
und
Logik.
ParaCrawl v7.1
We
started
a
script
about
axiomatic
set
theory.
Wir
haben
begonnen
ein
Skript
über
axiomatische
Mengenlehre
zu
schreiben.
ParaCrawl v7.1
Bernays's
work
on
an
axiomatic
basis
for
mathematics
was
taken
further
by
Gödel
.
Bernays
die
Arbeit
auf
einem
axiomatisch
Grundlage
für
Mathematik
wurde
weiter
von
Gödel.
ParaCrawl v7.1
For
our
current
script
see:
Axiomatic
Set
Theory
.
Für
unserer
aktuelles
Skript
siehe:
Axiomatische
Mengenlehre
.
ParaCrawl v7.1