08/12/13 17:30:09
>>59
「さしつかえないことが簡単に分かる」
とは書いてないんだから良いんじゃないの？
素朴集合論なんだから自然数とかは既知の対象として
扱って良いと思うけど。
0:= Ø, n := {0. 1, 2, ......, n-1}
なんていうのは公理的集合論の話だし、自然数なんて
素朴集合論の教科書で定義したところで
定義モドキになって読者を誤解させるだけだと思うんだけど。
少なくとも一階述語論理上のPeanoの公理は
自然数の定義じゃないのであれを書いちゃいけない。
というか数理論理の先生に標準自然数の定義を聞いたところで
「そりゃ君、いわゆる普通の自然数だよ」という答えしか返ってこないと思うｗ