最終更新日:2023/08/19
A description of an event or system that is considered to be accurate.
正解を見る
theory
編集履歴(0)
元となった辞書の項目
theory
意味(2)
意味(3)
意味(4)
意味(5)
意味(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).