数学基礎論・数理論理学　その19

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

576: 09/27(土)02:32 ID:qUL3Y1co(1/5) AAS
どっちの定義でも別によくね？少なくとも分かってないってことにはならんやろ

592: 09/27(土)22:39 ID:qUL3Y1co(2/5) AAS
関係ないのかな
超準モデルみたいな事態になってないことが示したいことじゃないんけ？

594: 09/27(土)23:47 ID:qUL3Y1co(3/5) AAS
それで十分だけど、Xがペアノの公理を満たすこととは違うよね

596: 09/27(土)23:57 ID:qUL3Y1co(4/5) AAS
いやωをどう定義したかによるな
ω:=上のX
以外の流儀があるんだろうか

597: 09/27(土)23:58 ID:qUL3Y1co(5/5) AAS
普通の自然数しか含まれていないというのがなかなかはっきり書けないから適当でいいか