最終更新日:2022/12/22
例文
Gödel's
first
incompleteness
theorem
showed
that
Principia
could
not
be
both
consistent
and
complete.
According
to
the
theorem,
for
every
sufficiently
powerful
logical
system
(such
as
Principia),
there
exists
a
statement
G
that
essentially
reads,
"The
statement
G
cannot
be
proved."
Such
a
statement
is
a
sort
of
Catch-22:
if
G
is
provable,
then
it
is
false,
and
the
system
is
therefore
inconsistent;
and
if
G
is
not
provable,
then
it
is
true,
and
the
system
is
therefore
incomplete.ᵂᴾ
復習用の問題
Gödel's first incompleteness theorem showed that Principia could not be both consistent and complete. According to the theorem, for every sufficiently powerful logical system (such as Principia), there exists a statement G that essentially reads, The statement G cannot be proved.
Such a statement is a sort of Catch-22: if G is provable, then it is false, and the system is therefore inconsistent; and if G is not provable, then it is true, and the system is therefore incomplete.ᵂᴾ
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1