>>849
>御大の実力を垣間見れたのか。

うむ
彼は 私の知らないことを知っている
一方、ばかサル>>28 は、おれの知っていることしか言えない

かつ、おサルは しばしば間違っている
御大の場合は、「これどうだろ？」と思って調べると まず正しい

>>859
>自然数はペアノが作ったか。

なにをもって ”自然数を作った”というかだが
古代エジプトや メソポタミア文明の時代に数の概念はあったようだ
メソポタミアは 60進法を採用していという

古代ギリシャのユークリッド原論で
素数が無限に存在することの証明や
有理数から さらに進んで √2 が 有理数でないことを知っていたという

ならば、ペアノ公理の以前の 古代ギリシャ人は 実質 自然数の概念は持っていたといえる
ペアノは、自然数に 公理という光を当てたのだ
（本当は”公理化”は 意識していなかったらしい）