現在2022年4月18日21時32分である。
麻友さん。ゼロを除いた自然数から、整数を誕生させる部分を、復習しました。
その過程で、集合を、表に出した。集合論の説明を、始めました。
集合論といっても、公理で規定せず、直観的につかめる数学を、素朴集合論(そぼくしゅうごうろん:naive set theory)と、言います。でもこれは、誤解が生じることも、良くあります。それを越えた理論となると、公理的集合論(こうりてきしゅうごうろん:axiomatic set theory)となります。ほとんどの数学者と、同じ土俵で戦う集合論です。しかし、これにいきなり飛び込ませるのは、余りにもむごいので、記号論理学で、記号だけで証明することは、行いませんでした。これについては、追い追い説明して行くことに、します。
かなり、ペースが、速いです。頑張って!
現在2022年4月18日22時04分である。おしまい。