最終更新日:2022/12/24
The system can be claimed to transcend certain critical limitations of predicative analysis and certain awkwardness of known nominalistic approaches to mathematics at once, and would seem to provide a well-motivated alternative to Zermelo set theory as a framework for scientifically applicable mathematics.
編集履歴(0)
元となった例文
The
system
can
be
claimed
to
transcend
certain
critical
limitations
of
predicative
analysis
and
certain
awkwardness
of
known
nominalistic
approaches
to
mathematics
at
once,
and
would
seem
to
provide
a
well-motivated
alternative
to
Zermelo
set
theory
as
a
framework
for
scientifically
applicable
mathematics.