最終更新日:2022/12/24
One concludes that there must be something fishy about the Axiom of Comprehension, and, over time, the replacement of the Axiom of Comprehension by the Schema of Separation was seen to resolve Russell's paradox. Indeed, one cannot apply the Schema of Separation as in Russell's paradox unless one knows in advance that the collection of all sets is itself a set.
編集履歴(0)
元となった例文
One
concludes
that
there
must
be
something
fishy
about
the
Axiom
of
Comprehension,
and,
over
time,
the
replacement
of
the
Axiom
of
Comprehension
by
the
Schema
of
Separation
was
seen
to
resolve
Russell's
paradox.
Indeed,
one
cannot
apply
the
Schema
of
Separation
as
in
Russell's
paradox
unless
one
knows
in
advance
that
the
collection
of
all
sets
is
itself
a
set.