18/11/17 01:55:48.98 8txBQYRh.net
>>509
> 無限集合の存在を認めること
Aは最初から無限集合で有限集合から構成しているわけではない
時枝記事でいうと無限個の箱があり中身は未定という状態が無限公理
その箱の中身にペアノの公理を適用すれば1つずつではなくて
直ちに箱の中身が{1, 2, 3, ... }になることが分かる
URLﾘﾝｸ(mathworld.wolfram.com)
だとペアノの公理も
18/11/17 01:55:48.98 8txBQYRh.net
>>509
> 無限集合の存在を認めること
Aは最初から無限集合で有限集合から構成しているわけではない
時枝記事でいうと無限個の箱があり中身は未定という状態が無限公理
その箱の中身にペアノの公理を適用すれば1つずつではなくて
直ちに箱の中身が{1, 2, 3, ... }になることが分かる
URLﾘﾝｸ(mathworld.wolfram.com)
だとペアノの公理も