最終更新日:2022/12/24
Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system.
編集履歴(0)
元となった例文
Furthermore,
through
tuning
the
4th
parameter
P4,
at
the
cost
of
sacrificing
recursive
axiomatizability
but
not
simplicity
or
elegance,
the
above
extensional
completeness
can
be
strengthened
to
intensional
completeness,
according
to
which
every
formula
representing
a
problem
with
a
solution
from
the
given
tricomplexity
class
is
a
theorem
of
the
system.