1から始める数学

数字の1を定義するところから始めて現代数学を築きます。ブログの先頭に戻りたいときは、表題のロゴをクリックして下さい。

2022-04-02から1日間の記事一覧

現代論理学(その30)

現在2022年4月2日20時22分である。(この投稿は、ほぼ870文字)麻友「今日は、マック?」私「新聞買った後、マックにいた」若菜「ブルバキを、読んでいたみたいですが」私「ブルバキの第Ⅰ章の最後に、付録が付いているんだ。「項および論理式の…