Last Updated：2025/12/30
Sentence
Gödel's
model
is
an
example
of
a
simple
type
of
inner
model
that
might
be
called
a
definable
transitive
inner
model³),
where
the
universe
is
replaced
by
a
transitive
subuniverse
defined
within
ZF,
the
membership
relation
is
just
the
original
one
restricted
to
the
subuniverse,
and
where
the
axioms
of
ZF
relativized
to
the
subuniverse,
are
provable
within
ZF.
Quizzes for review
Gödel's model is an example of a simple type of inner model that might be called a definable transitive inner model³), where the universe is replaced by a transitive subuniverse defined within ZF, the membership relation is just the original one restricted to the subuniverse, and where the axioms of ZF relativized to the subuniverse, are provable within ZF.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
