「連続体濃度はアレフ2」 ハウスドルフの連続性公理を採用して、連続体濃度がアレフ2になることを示そうというゲーデルの試みについて、邦語では以下があります。 ゲーデルの新しい公理について. 竹内外史. 「数学基礎論の世界」所収. 日本評論社.1972 ゲー…

今日も晴れ。起床は11時半、新聞の集金に起こされる。読書をしたり。昼食はアマトリチャーナ。洗濯をする。16時頃大学に向かい、人文図書館に行ってから居室へ。帰宅は19時半。夕食はサケとタマネギのトマトパスタ。夕食後Cと借りてきたdvdの「涼宮ハルヒの…