そう言えば昔、ペアーノ算術と同値になるシステムがいくつかある、というのをElena Marchisotto先生から教わったのを思い出した。その話によれば、パドアやピエーリは、ペアーノの論理主義をよりラディカルに受け継ぎ、ペアーノの５つの公理と同値になり［本…

良く寝た。６時半起床。今日は調子が良いので寝坊も可。今日も快晴だし、現実から逃避して、一日数学。まだ簡単なとこ。某氏が博論提出。お疲れさんでした。昼、Skypeでいろいろ悪ふざけ。その後、街に散髪へ。前より丁寧にやってくれはった。クリスマス前の…