Source Word
theory
IPA(Pronunciation)
Noun
countable
uncountable
obsolete
Japanese Meaning
理論(現象・システムに対する説明や仮説、学説など)
Sense(2)
Sense(3)
Sense(4)
Sense(5)
Sense(6)
(countable,
logic)
A
set
of
axioms
together
with
all
statements
derivable
from
them;
or,
a
set
of
statements
which
are
deductively
closed.
Equivalently,
a
formal
language
plus
a
set
of
axioms
(from
which
can
then
be
derived
theorems).
The
statements
may
be
required
to
all
be
bound
(i.e.,
to
have
no
free
variables).
Sense(7)
( plural )