トップページ > 数学 > 2019年02月07日 > 06OlcFF6

書き込み順位＆時間帯一覧

14 位/96 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000002002



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
数理論理学（数学基礎論）　その13

書き込みレス一覧

数理論理学（数学基礎論）　その13
743 ：１３２人目の素数さん[sage]：2019/02/07(木) 21:10:21.06 ID:06OlcFF6
自然数論の数項と自然数の違いがよく分からない
例えばωだと
1={φ}=suc(0)=｢1｣
ってなるよな？
数理論理学（数学基礎論）　その13
745 ：１３２人目の素数さん[sage]：2019/02/07(木) 21:52:31.12 ID:06OlcFF6
要するに1とかはメタ理論の自然数なんだけれども、ZFCのωとか古典二階PAでは区別がないが、
一階PAそのものを研究するメタ理論を限定しない立場では1とかと内部の数項を区別する必要があるんかな
ややこしいな


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。