数学は20世紀にかけて、ヒルベルトによる形式主義的な整備が進み、フレーゲらの論理学の形式化と共に、数学の基礎に関する研究が熱気を帯びました。そして、生み出された一つが公理的集合論で、集合論は数学の基礎づけに必須の装置だとみなされました。集合…

今日は立春。あちこちに春の兆しが見え始めている。春を告げる一つがツルニチニチソウで、キョウチクトウ科ビンカ属の常緑蔓性植物。その分布域は地中海地域の南部、ポルトガル、スイス南部、北アフリカにあり、広く自生し、容易に栽培でき、花が美しいこと…