最終更新日：2022/12/23
例文
For
the
arithmeticity
of
the
axioms
of
PA—i.
e.
the
claim
that
they
can
be
seen
as
true
on
the
basis
of
our
basic
grasp
of
the
structure
of
the
natural
numbers—is
motivated
by
Isaacson
by
appealing
to
the
categoricity
of
PA
2,
the
second-order
theory
which
provides
us
with
a
categorical
characterization
of
the
natural
numbers
as
the
smallest
structure
closed
under
a
one-to-one
successor
operation
and
containing
an
element
which
is
not
the
successor
of
any
element.
復習用の問題
For the arithmeticity of the axioms of PA—i. e. the claim that they can be seen as true on the basis of our basic grasp of the structure of the natural numbers—is motivated by Isaacson by appealing to the categoricity of PA 2, the second-order theory which provides us with a categorical characterization of the natural numbers as the smallest structure closed under a one-to-one successor operation and containing an element which is not the successor of any element.
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
